Software Engineering


Spring Young Researchers Colloquium on Software Engineering (SYRCoSE)

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.

Workshop on Model-Based Testing (MBT)

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.

Linux Driver Verification Workshop

The workshop provides an opportunity to share experience and to establish collaboration between different projects in the domain.

Seminar on software engineering “Software Development & Analysis Technologies”

The seminar is devoted to modern problems of software engineering, tools and methods of developing, program analysis and verification.

Scientific and Practical Conference of Developers OS "OS Day"

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.