10 ноября 2023
10 ноября 2023
Участники решали задачи по верификации моделей и дедуктивной верификации с тьюториалами. Контест прошёл онлайн в рамках ежегодного семинара Program Semantics, Specification and Verification, организованного Университетом Иннополис.
Задача по верификации моделей заключалась в превращении программы на формальном языке в систему переходов и проверке её свойств с использованием темпоральных формул. В направлении дедуктивной верификации участникам предстояло проверить правильность программы относительно её формальной спецификации с помощью системы логических правил вывода.
1 и 2 место заняли команды студентов Санкт-Петербургского политехнического университета Петра Великого, 3 место — команда Новосибирского государственного университета.
Организаторы соревнования — специалисты Университета Иннополис, НГУ, СПбГТУ и АлтГТУ.
Подробнее о контесте: sites.google.com/view/veha23
Подробнее о семинаре: persons.iis.nsk.su/en/PSSVfrom2022towards2023
1 июля 2024
6 июля в рамках финала открытой игровой лаборатории Game Open Lab пройдёт выставка проектов финалистов геймджема и открытые лекции по разработке игр. Среди спикеров — редакторы iXBT games, представители «Мира Танков», Ice-Pick Lodge.
8 июля 2024
Всего в геймджеме участвовали 500 разработчиков со всей России, которые в командах за 7 дней создали с нуля 66 игр. После оценки менторов GOL в очный финал в Университете Иннополис прошли 12 команд. Жюри определило победителей номинаций, которые разделили призовой фонд в 300 тысяч рублей.
5 июля 2024
Команда специалистов по обработке больших данных, экспертов по машинному обучению и робототехников из Университета Иннополис и НИТУ МИСИС разработала метод сегментации цифрового двойника Москвы и выиграла 600 тысяч рублей. Департамент информационных технологий города Москвы планирует продолжать развитие проекта совместно с командами, занявшими призовые места.