Полугодовой спецкурс "Методы верификации программ" будет проходить по средам в 10:45, в семинарской комнате ИСИ СО РАН (к.254).
Лектор: зав.лаб. ИСИ СО РАН, доцент НГУ, к.ф.-м.н. Непомнящий В.А.

Первая лекция состоится 23 сентября 2015 года.

Всем желающим посещать данный спецкурс просьба зарегистрироваться на сайте в разделе Обучение/Спецкурсы/Запись на спецкурс.