В НовГУ пройдет Симпозиум по программной инженерии

С 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 работа Симпозиума продолжится там же, в Центре пилотирования проектов НТИ, секцией «Автоматы и сети Петри».

Приглашаются все желающие.