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

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

Первое занятие состоится 3 октября