Второй международный семинар-совещание «Семантика, спецификация и верификация программ: теория и приложения» в рамках шестого международного симпозиума по компьютерным наукам в России

12 - 13 июня 2011 г., Санкт-Петербург

Рубрики: Совещание | ИТ, Математика, Техника

URL мероприятия: http://logic.pdmi.ras.ru/csr2011/ppsv2011

Описание:

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

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

Срок подачи заявок: 10 марта 2011 г.

Организаторы:

Сопредседатели программного комитета:

* Непомнящий Валерий Александрович (Институт систем информатики СО РАН, vnep@iis.nsk.su),
* Соколов Валерий Анатольевич (Ярославский государственный университет им. П.Г. Демидова, sokolov@uniyar.ac.ru). 

Контактная информация:

* Непомнящий Валерий Александрович (Институт систем информатики СО РАН, vnep@iis.nsk.su),
* Соколов Валерий Анатольевич (Ярославский государственный университет им. П.Г. Демидова, sokolov@uniyar.ac.ru).

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

Источник информации: http://conf.nsc.ru/