Начало занятий обязательного для магистрантов кафедры специального курса «Формальные методы в программной инженерии» во втором семестре 2017/18 года – среда 14 февраля 2018 г.

Занятия будут проходить по средам в Правой башне Технопарка на 3 этаже в Большом конференц-зале №3.
Начало в 11:30 .