Новости

Семинар «Теоретическое и экспериментальное программирование»

Семинар «Теоретическое и экспериментальное программирование»

Во вторник 1 октября пройдет объединенный семинар «Теоретическое и экспериментальное программирование» ИСИ СО РАН и кафедры программирования НГУ (руководитель -  Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.

Докладчики: Кондратьев Д.А., Промский А.В.

Тема: Комплексный подход к автоматизированной локализации ошибок в С-программах.