10 ноября 2023
10 ноября 2023
Участники решали задачи по верификации моделей и дедуктивной верификации с тьюториалами. Контест прошёл онлайн в рамках ежегодного семинара Program Semantics, Specification and Verification, организованного Университетом Иннополис.
Задача по верификации моделей заключалась в превращении программы на формальном языке в систему переходов и проверке её свойств с использованием темпоральных формул. В направлении дедуктивной верификации участникам предстояло проверить правильность программы относительно её формальной спецификации с помощью системы логических правил вывода.
1 и 2 место заняли команды студентов Санкт-Петербургского политехнического университета Петра Великого, 3 место — команда Новосибирского государственного университета.
Организаторы соревнования — специалисты Университета Иннополис, НГУ, СПбГТУ и АлтГТУ.
Подробнее о контесте: sites.google.com/view/veha23
Подробнее о семинаре: persons.iis.nsk.su/en/PSSVfrom2022towards2023
13 ноября 2023
Учащиеся 9—11 классов решали задачи в сфере информационной безопасности, разработанные методистами и разработчиками Университета Иннополис. В отборочном этапе участвовали 350 участников из 43 регионов России, в финал вышли 50 человек.
10 ноября 2023
Дмитрий Менделеев мастерил чемоданы, Никола Тесла любил голубей, Альберт Эйнштейн играл на скрипке, Лев Ландау увлекался кино, а Пьер и Мария Кюри путешествовали на велосипедах. Во Всемирный день науки сотрудники российского ИТ-вуза поделились мыслями о том, как их хобби помогают исследовательской работе и наоборот.
10 ноября 2023
Всего в республиканском этапе XXVI Всероссийской командной олимпиады по информатике и программированию соревновались 150 учащихся 6–11 классов. 13 команд из Республики Татарстан будут участвовать в финальном туре 11—12 декабря в Санкт-Петербурге. Университет Иннополис — куратор и площадка проведения олимпиады.