Начинаются занятия обязательного для магистрантов кафедры специального курса «Формальные методы в программной инженерии». Они будут проходить по вторникам в терминальном классе 2213 нового учебного корпуса НГУ с 16:20 до 19:45.

Первое занятие - 13 сентября.