————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 918
12 ноября 2019
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Д.А. Кондратьев
«Обзор докладов по формальной верификации
по материалам конференций TOOLS-2019,
SIBIRCON-2019 и семинара FWFM-2019»
————————————————————