В Университете Иннополис пройдет первая за 7 лет международная конференция TOOLS 50+1
14—19 октября российский ИТ-вуз соберёт 60 экспертов из стран Европы по объектно-ориентированным языкам программирования. Участники обсудят моделирование и верификацию гибридных и киберфизических систем, новые разработки в объектно-ориентированных технологиях, микросервисную архитектуру разработки, методы непрерывного развертывания ПО, интернет вещей, веб-приложения и приложения для работы с большими данными.
Среди приглашенных спикеров — эксперты из Италии, Франции, Германии и Швейцарии: профессор компьютерных наук университета Болоньи Давиде Сангиорги; приглашенный профессор Университета Иннополис, член Французской академии наук Бертран Мейер; руководитель исследовательской команды 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 — сочетание науки и бизнеса. Все лекции и семинары смогут посетить обучающиеся нашего вуза. Это позволит им приобрести тесные контакты с представителями индустрии программной инженерии».
