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

Семинар ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. Дата: 02.04.2026 Докладчик: Кондратьев Дмитрий Александрович ИСИ СО РАН Тема: Серия соревнований по формальной верификации программ VeHa: три года большого пути Аннотация Для популяризации и развития в России формальных методов в программировании с 2023 года была запущена серия ежегодных всероссийских соревнований по формальной верификации программ VeHa Verification Hackathon.
Соревнования включают в себя номинации по основным видам формальной верификации программ: дедуктивная верификация и проверка моделей model checking.
В 2023-2025 гг.
были проведены три соревнования: VeHa-2023 VeHa-2024 и VeHa-2025.
Данные соревнования организовывали как исследователи из научных и образовательных организаций ИСИ СО РАН НГУ АлГТУ СПбПУ МГУ и университет Иннополис так и сотрудники индустриальных компаний Группа Астра Лаборатория Касперского и Positive Technologies.
В соревнованиях участвовали студенты из НГУ ИТМО МГУ МФТИ МГТУ им.
Н.
Э.
Баумана СПбПУ СПбГУ МИСИС и Университета Неаполис Пафос молодые специалисты из академических институтов ИСП РАН МИАН и ИАиЭ СО РАН и индустриальных компаний Группа Астра и Лаборатория Касперского.
В рамках организации соревнований создана уникальная структура включающая коллектив экспертов инструменты информационной и технологической поддержки короткие курсы по формальным методам и коллекции задач как от академической среды так и от индустриальных партнеров.
В докладе будут рассмотрены такие вопросы как история проведения серии соревнований VeHa особенности таких соревнований участие в соревнованиях студентов молодых ученых итоги соревнований а также планы на будущее.

Источник: rutube.ru