Второй международный семинар-совещание «Семантика, спецификация и верификация программ: теория и приложения» в рамках шестого международного симпозиума по компьютерным наукам в России
Тематика семинара:
* формализмы для описания семантики;
* формальные модели и семантики программ и систем;
* семантика языков программирования и языков спецификаций;
* языки формальной спецификации программ и систем;
* логики для формальной спецификации и верификации;
* дедуктивная верификация программ;
* автоматическое доказательство теорем;
* верификация моделей (model checking) программ и систем;
* статический анализ программ;
* формальный подход к тестированию и валидации;
* системы и инструментальные средства тестирования и верификации.
Объем краткого текста доклада – до 8 страниц. Для изложения необходимых технических деталей можно использовать приложение объемом до 4 страниц, которое выделено в тексте как приложение и рассматривается программным комитетом при отборе докладов. Тексты в формате PDF следует направлять в качестве приложения к электронному письму Алексею Владимировичу Промскому (Институт систем информатики СО РАН, Новосибирск) по адресу: promsky@iis.nsk.su с указанием PSSV-2011 в поле «subject».
Аннотации докладов следует направлять в качестве приложения к электронному письму председателям программного комитета.
Даты проведения:
с 12.06.2011
по 13.06.2011 Регистрация:
c 03.03.2011
по 11.06.2011 Место проведения:Санкт-Петербургский Академический университет — научно-образовательный центр нанотехнологий РАН (Академический университет)