10 ноября 2023
10 ноября 2023
Участники решали задачи по верификации моделей и дедуктивной верификации с тьюториалами. Контест прошёл онлайн в рамках ежегодного семинара Program Semantics, Specification and Verification, организованного Университетом Иннополис.
Задача по верификации моделей заключалась в превращении программы на формальном языке в систему переходов и проверке её свойств с использованием темпоральных формул. В направлении дедуктивной верификации участникам предстояло проверить правильность программы относительно её формальной спецификации с помощью системы логических правил вывода.
1 и 2 место заняли команды студентов Санкт-Петербургского политехнического университета Петра Великого, 3 место — команда Новосибирского государственного университета.
Организаторы соревнования — специалисты Университета Иннополис, НГУ, СПбГТУ и АлтГТУ.
Подробнее о контесте: sites.google.com/view/veha23
Подробнее о семинаре: persons.iis.nsk.su/en/PSSVfrom2022towards2023
9 июня 2025
ИТ-школа «Прогматика» приглашает учащихся 1—11 классов на онлайн-интенсивы по разработке игр в Roblox, программированию на Python, созданию мобильных приложений на Flutter, 3D-моделированию в Blender, а также изучению основ искусственного интеллекта и компьютерной грамотности. В конце обучения школьники создадут проекты для портфолио и получат сертификаты. Занятия доступны в индивидуальном формате по гибкому графику и в группах до 8 человек 30 июня — 6 июля и 11—17 июля.
5 июня 2025
В Координационном центре Правительства России заместитель Председателя Правительства России Дмитрий Чернышенко представил итоги отбора «третьей волны» исследовательских центров в сфере искусственного интеллекта (ИИ). Исследовательский центр в сфере ИИ по цифровому ускорению науки на базе российского ИТ-вуза стал одним из победителей конкурса.
3 июня 2025
На конференции ЦИПР—2025 российский ИТ-вуз и Центр развития электронных образовательных ресурсов Московского государственного университета имени М.В. Ломоносова заключили соглашение о стратегическом партнёрстве в сфере цифрового образования и инновационных технологий. Документ подписали заместитель директора Университета Иннополис Мария Образцова и директор Центра развития электронных образовательных ресурсов МГУ Денис Янышев.