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

Россия, Нижний Новгород

Третий международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (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).

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

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

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

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

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

Приложения: Объявление о семинаре (.doc, 43.5 КБ)

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