г. (Кондратьев Д.А.) Семинар “ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ”

Объединенный семинар ИСИ СО РАН и кафедры программирования НГУ “ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ” 15 февраля 2024 года. Докладчики: Кондратьев Д.А., Гаранина Н.О. (ИСИ СО РАН) Тема: «VeHa-2023: первые в России соревнования по формальной верификации программ»