![Объединенный семинар «Теоретическое и экспериментальное программирование» Объединенный семинар «Теоретическое и экспериментальное программирование»](/files/styles/news/public/news/image/seminar_isi_ngu_23.png?itok=VzaJOrmR)
Во вторник 3 марта пройдет объединенный семинар «Теоретическое и экспериментальное программирование» ИСИ СО РАН и кафедры программирования НГУ (руководитель - Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.
Докладчик: Кондратьев Д.А.
Тема: На пути к автоматизации дедуктивной верификации С-программ с вложенными циклами.