| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии
теории и экспериментальному программированию
|
|||
|
|
|||
|
Соревнование по формальной верификации программ VeHa-2024: два года большого пути Д. А. Кондратьев Новосибирский национальный исследовательский государственный университет |
|||
|
Аннотация: В 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) (можно смотреть в браузере). Website: https://persons.iis.nsk.su/en/STEP-2024 |
|||