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

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

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