В НовГУ начал работу Симпозиум по программной инженерии с участием зарубежных специалистов

Сегодня, 30 мая, в 3-ей поточной аудитории Новгородского государственного университета им. Ярослава Мудрого (ул. Б.Санкт-Петербургская, 41) начал работу Симпозиум по программной инженерии SYRCoSE-2018. Он будет проходить по 1 июня, рабочий язык - английский.

В Симпозиуме принимают участие представители зарубежных университетов: Франк Cингхофф (Университет Бретани, Франция), Томас Кулик (Университет Аархус, Словакия), Джулио Цезарь Карраскель (Римский университет Ла Сапиенца, Италия) и более 60 молодых исследователей в сфере программной инженерии из Москвы, Санкт-Петербурга, Томска, Великого Новгорода.

В сегодняшней программе два пленарных доклада: «О раннем планировании верификации критически важных встроенных систем реального времени» (Франк Cингхофф, Университет западной Бретани, Франция); «Система внедрена. Тестирование продолжается» (Борис Позин, Высшая школа экономики, Москва).

После пленарных докладов начнутся заседания трех секций: «Формальные методы», «Языки программирования и библиотеки» и «Системное программирование».

Добавим, что завтра, 31 мая, с 10.00 в Центре пилотирования проектов НТИ (ул. Б.Санкт-Петербургская, 41, 1 этаж, бывший Центр интернет-образования) будут работать еще три секции: «Анализ программного обеспечения и данных» и «Верификация аппаратного обеспечения Программные приложения, специфические методы и инструменты». А в пятницу, 1 июня, в 10.00 работа Симпозиума продолжится там же, в Центре пилотирования проектов НТИ, секцией «Автоматы и сети Петри». Приглашаются все желающие.