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

12 - 13 June 2011, St. Petersburg

Rubrics: Meeting | IT, Mathematics, Technology

Activity URL: http://logic.pdmi.ras.ru/csr2011/ppsv2011

Description:

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

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

Deadline date: March 10, 2011

Organizers:

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

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

Contact information:

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

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

Information source: http://conf.nsc.ru/