4 марта 2015
4 марта 2015
Семинар состоится с 11 по 12 марта.
Мероприятие проведёт известный французский учёный и заведующий Лабораторией программной инженерии и верификации программ Университета Иннополис Бертран Мейер, его заместитель профессор Мануэль Маццара и создатель программы Autoproof Джулиан Шанеен.
Autoproof является системой автоматической верификации продуктов, написанных на языке Eiffel. Основная цель семинара – показать на практике, как при помощи Autoproof осуществляется проверка программ, написанных на Eiffel.
В ходе первого дня будет представлена общая картина технологий Microsoft, на которых основывается система верификации, а также будет оказана помощь при установке необходимого программного обеспечения. Второй день будет посвящен практическому применению программы Autoproof, где слушателям будут представлены на рассмотрение различные задания с возрастающей сложностью.
Семинар состоится в здании Университета Иннополис на улице Профсоюзной 40/42 в аудитории №315. Начало в 10:00.
Фото: http://se.inf.ethz.ch
1 июля 2024
6 июля в рамках финала открытой игровой лаборатории Game Open Lab пройдёт выставка проектов финалистов геймджема и открытые лекции по разработке игр. Среди спикеров — редакторы iXBT games, представители «Мира Танков», Ice-Pick Lodge.
8 июля 2024
Всего в геймджеме участвовали 500 разработчиков со всей России, которые в командах за 7 дней создали с нуля 66 игр. После оценки менторов GOL в очный финал в Университете Иннополис прошли 12 команд. Жюри определило победителей номинаций, которые разделили призовой фонд в 300 тысяч рублей.
5 июля 2024
Команда специалистов по обработке больших данных, экспертов по машинному обучению и робототехников из Университета Иннополис и НИТУ МИСИС разработала метод сегментации цифрового двойника Москвы и выиграла 600 тысяч рублей. Департамент информационных технологий города Москвы планирует продолжать развитие проекта совместно с командами, занявшими призовые места.