С 18 по 21 октября 2024 года состоится второе Российское соревнование по формальной верификации программ VeHa-2024. Данное соревнование пройдет в Иннополисе и онлайн, в основном, онлайн. Одним из главных организаторов соревнования VeHa-2024 является ИСИ СО РАН.
Подробности о соревновании VeHa-2024 приведены на сайте соревнования. Информацию также можно получить в группе в телеграме.