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

1 - 2 July 2012, Nizhniy Novgorod

Rubrics: Seminar | IT

E-mail: promsky@iis.nsk.su

Description:
Третий международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications)
PSSV 2012 (http://agora.guru.ru/display.php?conf=csr2012&page=item009) пройдёт в Нижнем Новгороде 1-2 июля 2012 в рамках седьмого международного симпозиума по компьютерным наукам в России (7th International Computer Science Symposium in Russia, CSR-2012, July 3-7, 2012, http://agora.guru.ru/display.php?conf=csr2012).

Через 3 дня после PSSV-2012 с 5 по 9 июля 2012 г. в Переславле-Залеском пройдёт международный семинар по метакомпиляции памяти Валентина Турчина – META 2012, Third International Valentin Turchin Workshop on Metacomputation
(http://meta2012.pereslavl.ru/index.html)

Архив семинара PSSV расположен на http://pssv-conf.ru/.
Труды семинара PSSV публикуются в виде сборника ко времени семинара, избранные переработанные и дополненные работы публикуются после дополнительного рецензирования в журнале «Моделирование и анализ информационных систем» (список ВАК, http://mais.uniyar.ac.ru/), переводятся на английский и публикуются издательством МАИК Наука/Интерпериодика в журнале Automatic Control and Computer Sciences (http://www.maik.ru/cgi-perl/journal.pl?name=autcont&lang=rus).

Deadline date: March 25, 2012

Organizers:
Институт систем информатики СО РАН, Ярославский государственный университет

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

Information source: http://konferencii.ru/