During The Open Conference of the ISPRAS a number of events is arranged, devoted to sectors of IT-industry in which ISP RAS possesses a many years’ experience of fundamental researches conduction, innovative technologies development and implementation, together with partners (Samsung, Hewlett Packard Enterprise, DELL, NVIDIA, etc.), of certain projects on introduction the developed technologies in the industry.
SYRCoSE is a colloquium on software engineering targeted at young researchers (students, postgraduates, young PhD specialists, etc.). The main goal of the colloquium is to help young specialists to meet each other, to get more information on work of their colleagues, to exchange their experience, and to practice in presenting their results at international conferences and workshops. All works are reviewed by the committee. The working language of the colloquium is English.
The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results evaluation. Testing validates the real system behavior against models and checks that the implementation conforms to them, but is capable also to find errors in the models themselves.
The workshop provides an opportunity to share experience and to establish collaboration between different projects in the domain.
The seminar is devoted to modern problems of software engineering, tools and methods of developing, program analysis and verification.
SYRCoDIS is an annual colloquium directed to researchers specializing in the area of data science. The goal of the colloquium is to help young researchers to be acquainted with the work of their colleagues, to exchange experiences and to practice in delivering reports at international conferences.
On the conference OS Day Russian IT specialists present the domestic development of the system and software tools, discuss the possibility of the joint development of Russian software products, problems of import substitution in software.