2-ой Международный семинар-совещание «Семантика, спецификация и верификация программ: теория и приложения»

Россия, Санкт-Петербург

Тематика семинара:
- формализмы для описания семантики;
- формальные модели и семантики программ и систем;
- семантика языков программирования и языков спецификаций;
- языки формальной спецификации программ и систем;
- логики для формальной спецификации и верификации;
- дедуктивная верификация программ;
- автоматическое доказательство теорем;
- верификация моделей (model checking) программ и систем;
- статический анализ программ;
- формальный подход к тестированию и валидации;
- системы и инструментальные средства тестирования и верификации.

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

Страничка семинара: http://logic.pdmi.ras.ru/csr2011/ppsv2011

При обращении к организаторам мероприятия обязательно ссылайтесь на сайт «Конференции.ru» как на источник информации.

Последний день подачи заявки: 10 марта 2011 г. (приём заявок закончен)

Организаторы: Институт систем информатики СО РАН, Новосибирск

Контактная информация: Секретарь семинара: Алексей Владимирович Промский, Институт систем информатики СО РАН, Новосибирск, эл. почта: promsky@iis.nsk.su с указанием PSSV-2011 в поле «subject»

Эл. почта: promsky@iis.nsk.su

Поделитесь информацией о мероприятии со знакомыми: