4 марта 2015
4 марта 2015
Семинар состоится с 11 по 12 марта.
Мероприятие проведёт известный французский учёный и заведующий Лабораторией программной инженерии и верификации программ Университета Иннополис Бертран Мейер, его заместитель профессор Мануэль Маццара и создатель программы Autoproof Джулиан Шанеен.
Autoproof является системой автоматической верификации продуктов, написанных на языке Eiffel. Основная цель семинара – показать на практике, как при помощи Autoproof осуществляется проверка программ, написанных на Eiffel.
В ходе первого дня будет представлена общая картина технологий Microsoft, на которых основывается система верификации, а также будет оказана помощь при установке необходимого программного обеспечения. Второй день будет посвящен практическому применению программы Autoproof, где слушателям будут представлены на рассмотрение различные задания с возрастающей сложностью.
Семинар состоится в здании Университета Иннополис на улице Профсоюзной 40/42 в аудитории №315. Начало в 10:00.
Фото: http://se.inf.ethz.ch
24 февраля 2025
Университет Иннополис продолжает серию историй о талантливых обучающихся. Аспирантка Замира Холматова совмещает работу в Передовой инженерной школе с написанием кандидатской диссертации и исследованиями в области программной инженерии. Она рассказала, почему решила заниматься наукой и чем игра на фортепиано, спорт и рисование полезны для исследователя.
25 февраля 2025
Мероприятие для обсуждения трендов в торговле пройдёт 2—5 июня в московском Центре международной торговли. На форуме состоятся пленарные заседания, экспертные сессии, конференции, презентации и круглые столы об инновациях в работе торговых сетей, маркетинге, fashion- и банковском ритейле, е-commerce, HoReCa, логистике, ESG, коммерческой недвижимости, международных рынках и HR. Также участников ждут экспозона новинок отрасли, Retail Week Awards, антиконтрафакт и турнир по мини-футболу. Регистрация открыта до 2 июня.
17 февраля 2025
22—29 марта Центр довузовской подготовки российского ИТ-вуза проведёт очные курсы по изучению языков программирования Python и C++, 3D-моделированию и олимпиадному программированию. Также в программе — квесты, квизы, игры и спортивные мероприятия. По итогам обучения участники получат сертификаты. Регистрация открыта до 17 марта, количество мест ограничено.