Архив новостей — 2025 г.
14 января в 11:00 в каб. 239 состоится первое заседание Методологического семинара ИСИ СО РАН в 2025 г.
Докладчик: Дмитрий Александрович Кондратьев, к.ф.-м.н., научный сотрудник Лаборатории теоретического программирования ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Соревнование по формальной верификации программ VeHa-2024: два года большого пути»
В 2023 году было проведено первое в России соревнование по формальной верификации программ VeHa-2023. Данное соревнование позволило заложить основы для успешного проведения соревнования VeHa-2024 в 2024 году. В данном докладе будут рассмотрены развитие и перспективы серии соревнований VeHa.