Информационная система "Конференции"

Третий международный семинар
«Семантика, спецификация и верификация программ: теория и приложения»
(Program Semantics, Specification and Verification: Theory and Applications)
PSSV 2012

пройдёт в Нижнем Новгороде 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).

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

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

Программный комитет:

* Баранов Сергей Николаевич (Санкт-Петербургский институт информатики и автоматизации РАН),
* Евтушенко Нина Владимировна (Томский государственный университет),
* Захаров Владимир Анатольевич (Московский государственный университет),
* Ицыксон Владимир Михайлович (Санкт-Петербургский государственный политехнический университет),
* Климов Андрей Валентинович (Институт прикладной математики РАН, Москва),
* Кулямин Виктор Вячеславович (Институт системного программирования РАН, Москва),
* Ломазова Ирина Александровна (Высшая школа экономики, Москва),
* Шилов Николай Вячеславович (Институт систем информатики СО РАН, Новосибирск).

Секретарь семинара Промской Алексей Владимирович (Институт систем информатики СО РАН, Новосибирск).

* Непомнящий Валерий Александрович (Институт систем информатики СО РАН, vnep@iis.nsk.su)

* Соколов Валерий Анатольевич (Ярославский государственный университет,  sokolov@uniyar.ac.ru)

* Промской Алексей Владимирович (Институт систем информатики СО РАН, promsky@iis.nsk.su)

* Шилов Николай Вячеславович (Институт систем информатики СО РАН, shilov@iis.nsk.su)