2 марта 2016
2 марта 2016
Мероприятие станет крупнейшем событием года в мире по формальным методам программной инженерии.
Виктор Ривера, старший научный сотрудник Лаборатории разработки программной инженерии Университета Иннополис стал спикером семинара по формальным методам программной инженерии FormaliSE 2016. Мероприятие состоится 15 мая в американском городе Остин, штат Техас, в рамках 38-й Международной конференции по программной инженерии ICSE 2016, которое по праву можно назвать самым главным событием в области. Участниками события станут ведущие представители академической среды и крупных международных индустриальных компаний.
На семинаре исследователь из российского вуза выступит с докладом на тему «Применение формального метода разработки Event-B в проекте Tokeneer» (англ. “Undertaking the Tokeneer Challenge in Event-B”). Работа молодого учёного направлена на анализ практических примеров применения средств формальных методов для проверки параметров безопасности в проекте Tokeneer, разработанном компанией Praxis.
«Анализ практических примеров из практики – шаг вперёд к внедрению формальных методологий в индустрию», - рассказал Виктор Ривера, сотрудник Лаборатории программной инженерии Университета Иннополис. Статья написана в соавторстве с Сукрити Бхаттахарая, научным сотрудником Университетского колледжа Лондона (UCL), и Нестором Катано, профессором Университета Иннополис.
18 апреля 2025
Двухнедельные образовательные программы для учащихся 3—11 классов с проживанием и питанием в кампусе российского ИТ-вуза включают занятия по Python и C++, 3D-моделированию, олимпиадному программированию, разработке Telegram-ботов и видеоигр. Также на сменах — квесты, квизы, игры и спортивные мероприятия. Открыта регистрация на 14 программ в июне и июле, количество мест ограничено.
25 апреля 2025
На мероприятии эксперты в области ИИ и математики из ОАЭ, Саудовской Аравии, США, Молдавии и 6 городов России представили исследования о численных методах оптимизации, генеративных моделях и математических основах ИИ. Записи лекций доступны в VK Video. Организаторы ICOMP — Университет Иннополис, Научный совет Альянса в сфере ИИ и DigitalAutoSystems. Партнёры — Яндекс, Сбер и OpenTalks.AI.
21 апреля 2025
В шестичасовом прямом эфире выступили спикеры из семи городов России и Китая. Форум затронул вопросы развития среднего профессионального образования в стране: современные тенденции, запросы работодателей, новые подходы к обучению и старт карьеры студентов. Организатор — Университет Иннополис, партнёры мероприятия — Колледж Иннополис, МТС Линк, VK, DigitalAutoSystems и Яндекс Образование.