В Университете Иннополис пройдет первая за 7 лет международная конференция TOOLS 50+1

Участники обсудят моделирование и верификацию гибридных и киберфизических систем, новые разработки в объектно-ориентированных технологиях, микросервисную архитектуру разработки, методы непрерывного развертывания ПО, интернет вещей, веб-приложения и приложения для работы с большими данными.

Среди приглашенных спикеров — эксперты из Италии, Франции, Германии и Швейцарии: профессор компьютерных наук университета Болоньи Давиде Сангиорги; приглашенный профессор Университета Иннополис, член Французской академии наук Бертран Мейер; руководитель исследовательской команды SM@RT университета Тулузы Жан Мишел Брюэль; декан Факультета компьютерных и инженерных наук Университета Иннополис Джианкарло Суччи; директор по исследованиям и технологиям компании SYSGO AG Сергей Твердышев.

В рамках TOOLS 50+1 пройдет третий воркшоп Fun With Formal Methods (FWFM-2019), посвященный популяризации формальных методов. Также профессор Бертран Мейер проведет семинар по новым инструментам разработки ПО. На Youtube-канале Университета Иннополис пройдёт трансляция воркшопов.

В последний день конференции студенты ИТ-вуза и представители компаний «Ростелеком» и Acronis примут участие в хакатоне Case in Tools. За 4 часа смешанные команды из обучающихся и ИТ-специалистов представят свои проекты в области программной инженерии.

Статьи по итогам конференции будут опубликованы в научном журнале Lecture Notes in Computer Science издания Springer.

Ректор Университета Иннополис Александр Тормасов: «Университет Иннополис возрождает традицию серий TOOLS, которые проходили в разных частях мира в 1989—2012 годах. Среди ключевых спикеров фигурируют как представители научного мира, так и ИТ-компаний. Это главная особенность Tools — сочетание науки и бизнеса. Все лекции и семинары смогут посетить обучающиеся нашего вуза. Это позволит им приобрести тесные контакты с представителями индустрии программной инженерии».

Подробности — tools2019.innopolis.ru