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