Продолжает работу обязательный для магистрантов кафедры спецкурс «Формальные методы в программной инженерии».

Во втором семестре 2016-17 года занятия будут проходить по вторникам в терминальном классе 2213 нового учебного корпуса НГУ с 16:20 до 19:45.