В НовГУ пройдет Симпозиум по программной инженерии
С 30 мая по 1 июня в Новгородском государственном университете им. Ярослава Мудрого будет проходить Симпозиум по программной инженерии SYRCoSE-2018.
Его открытие состоится в среду в 10.00 в 3-ей поточной аудитории (ул. Б.Санкт-Петербургская, 41). Язык симпозиума – английский.
В нем примут участие представители зарубежных университетов: Франк Cингхофф (Университет Бретани, Франция), Томас Кулик (Университет Аархус, Словакия), Джулио Цезарь Карраскель (Римский университет Ла Сапиенца, Италия) и более 60 молодых исследователей в сфере программной инженерии из Москвы, Санкт-Петербурга, Томска, Великого Новгорода.
В программе дня 30 мая два пленарных доклада:
10.00 - 11.00 «О раннем планировании верификации критически важных встроенных систем реального времени» (Франк Cингхофф, Университет западной Бретани, Франция);
14:30 -15:30 «Система внедрена. Тестирование продолжается» (Борис Позин, Высшая школа экономики, Москва).
После пленарных докладов, до 19.00, будут работать секции:
1. Формальные методы,
2. Языки программирования и библиотеки,
3. Системное программирование.
31 мая с 10.00 в Центре пилотирования проектов НТИ (ул. Б.Санкт-Петербургская, 41, 1 этаж, бывший Центр интернет-образования) будут работать следующие секции:
1. Анализ программного обеспечения и данных,
2. Верификация аппаратного обеспечения,
3. Программные приложения, специфические методы и инструменты.
1 июня в 10.00 работа Симпозиума продолжится там же, в Центре пилотирования проектов НТИ, секцией «Автоматы и сети Петри».
Приглашаются все желающие.