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

Спецкурс будет читаться по вторникам с 16:20 (две пары) в ауд. 4211 нового учебного корпуса НГУ.

Первое занятие в этом семестре состоится 18 февраля