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