Продолжает работу годовой спецкурс кафедры программирования, обязательный для всех магистрантов первого года, "Формальные методы в программной инженерии".
Спецкурс будет читаться по средам с 16:20 (две пары) в ауд. 2213 нового учебного корпуса НГУ.
Первое занятие в этом семестре состоится 3 апреля