4 марта 2015
4 марта 2015
Семинар состоится с 11 по 12 марта.
Мероприятие проведёт известный французский учёный и заведующий Лабораторией программной инженерии и верификации программ Университета Иннополис Бертран Мейер, его заместитель профессор Мануэль Маццара и создатель программы Autoproof Джулиан Шанеен.
Autoproof является системой автоматической верификации продуктов, написанных на языке Eiffel. Основная цель семинара – показать на практике, как при помощи Autoproof осуществляется проверка программ, написанных на Eiffel.
В ходе первого дня будет представлена общая картина технологий Microsoft, на которых основывается система верификации, а также будет оказана помощь при установке необходимого программного обеспечения. Второй день будет посвящен практическому применению программы Autoproof, где слушателям будут представлены на рассмотрение различные задания с возрастающей сложностью.
Семинар состоится в здании Университета Иннополис на улице Профсоюзной 40/42 в аудитории №315. Начало в 10:00.
Фото: http://se.inf.ethz.ch
3 апреля 2024
25 апреля российский ИТ-вуз проведёт ежегодное мероприятие DID Online, которое объединит вузы-лидеров страны и экспертов в ИТ из России, Китая и Индии. Спикеры конференции поделятся опытом создания и тиражирования методик, подходов в образовании с использованием новейших технологий и практиками подготовки специалистов будущего. Участие бесплатное.
5 апреля 2024
Исследовательский центр в сфере искусственного интеллекта Университета Иннополис начал тестовое внедрение сервиса поиска аналогов промышленной продукции в каталоге Министерства промышленности и торговли Российской Федерации. Новая система значительно упростит и ускорит процесс поиска необходимой продукции, способствуя эффективной интеграции и использованию данных каталога Минпромторга.
5 апреля 2024
Соревнование пройдёт 6—11 апреля на площадке российского ИТ-вуза. Организаторы — Университет Иннополис, Министерство просвещения РФ, Институт стратегии развития образования, Министерство образования и науки РТ в партнёрстве с компаниями VK, Сбер, Тинькофф, Яндекс, МТС, Альфа-банк, OZON.