Аннотация:
В 2023 году было проведено первое в России соревнование по формальной верификации программ VeHa-2023. Данное соревнование позволило заложить основы для успешного проведения соревнования VeHa-2024 (https://sites.google.com/view/veha2024) в 2024 году. В данном докладе будут рассмотрены развитие и перспективы серии соревнований VeHa.
После доклада состоится награждение новосибирских дипломантов соревнований VeHa-2024.
Семинар пройдет 12:40-14:15 в Новосибирске (8:40-10:15 мск) гибридно: в компьютерном классе 305 Главного (Старого) Корпуса Новосибирского Государственного Университета и онлайн в Skype (https://join.skype.com/IWWUHjUgNnfo) (можно смотреть в браузере).
Обратная связь: