расширенный поиск
]]>

 

Публикация статей
за 3 дня

*eLIBRARY


Наши преимущества: 

• Быстрое размещение в Elibrary 
• Простые требования оформления 
• Присвоение ISBN 
• 
Справка о публикации, Сертификат, Диплом
• Оплата без комиссии

РЕКЛАМА

 

 

РЕКЛАМА
]]>

 

РЕКЛАМА

 


РЕКЛАМА
Добавить «Золотую ленточку»

1 июля 2012 г. — 2 июля 2012 г., срок заявок: 25 марта 2012 г.

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

Выслать ссылку по e-mail

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

Язык информации: Русский

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

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

Для отправления сообщения оргкомитету Вы должны быть зарегистрированы и авторизованы на сайте

РЕКЛАМА

Сообщение об ошибке отправлено администратору!
Спасибо за пользование нашим сервисом!

закроется через 2 секунды