5-8 ноября 2025 г. состоится VeHa-2025 — III Контест российский Verification Hackathon (соревнование по формальной верификации программ).
Данное соревнование пройдет гибридно: в Новосибирском Государственном Университете и Online как мероприятие-спутник Открытой Всесибирской олимпиады по программированию им. И.В. Поттосина.
Одним из главных организаторов соревнования VeHa-2025 является ИСИ СО РАН.
Подробная информация о VeHa-2025, о регистрации участников и о предыдущих соревнованиях из серии VeHa на странице мероприятия.