Начало
Написать письмо
Публикуем!
Организационная система VeHa - соревнования по формальной верификации программ
Участники
Участие Бояндин Лев Константинович призер соревнования VeHa-2025.
Участие Гаранина Наталья Олеговна организатор соревнования VeHa-2025.
Участие Ищенко Артём Дмитриевич призёр соревнования VeHa-2025.
Участие Кондратьев Дмитрий Александрович организатор соревнования VeHa-2024 и VeHa-2025.
Участие Разбитнова Юлия Юрьевна участник соревнования VeHa-2025.
Участие Харьков Александр Андреевич призер соревнования VeHa-2025.
Участие Черненко Иван Михайлович победитель соревнования VeHa-2025.
Участие Шабанова Маргарита Андреевна призер соревнования VeHa-2025.
Участие Шелехов Владимир Иванович организатор соревнования VeHa-2025.
Участие Шилов Николай Вячеславович тренер и организатор соревнования VeHa-2024 и VeHa-2025.
Все... (16)
Расположение
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0003/0427
2024фев15, Новосибирск
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0003/0428
2024фев15, Новосибирск
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0003/0429
2024фев15, Новосибирск
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0004/0040
2024окт21, Новосибирск, Новосибирск
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0004/0508
2025ноя18, Новосибирск
Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0004/0509
2025ноя18, Новосибирск