25.11.2025
Команды НГУ стали призерами третьего всероссийского соревнования по формальной верификации программ VeHa-2025
Третье всероссийское соревнование по формальной верификации программ VeHa-2025 прошло 4–8 ноября, оно стало мероприятием-спутником XXVI Открытой Всесибирской олимпиады по программированию им. И. В. Поттосина. В соревнованиях приняли участие представители ведущих российских компаний, университетов и научных институтов.
