Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (ССВП 2010)

Россия, Казань

Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (г.Казань, 14-15.06.2010) Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010)

Семинар пройдет в рамках пятого международного симпозиума по компьютерным наукам в России (5th International Computer Science Symposium in Russia, CSR-2010, http://csr2010.antat.ru , June 16-20, 2010)

Важные даты:
Представление докладов по электронной почте: 10.03.2010.
Извещение о включении доклада в программу семинара: 31.03.2010.

Рабочие языки и языки публикации докладов: русский и английский.

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

Представление текстов докладов

Организаторы семинара приглашают российских и зарубежных специалистов присылать для отбора тексты докладов, которые содержат
- изложение новых результатов исследований (research papers),
- сообщение о ходе и состоянии исследований (work in progress),
- планы и мотивация перспективных исследований (position papers),
- описание систем и инструментальных средств (tools description).

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

Программа семинара будет включать устные и стендовые доклады. Краткие тексты (объемом до 6 страниц) всех принятых докладов, хотя бы один автор которых подтвердит своё личное участие в работе семинара, будут опубликованы в виде сборника трудов и будут доступны на семинаре. По итогам семинара планируется публикация избранных расширенных текстов докладов в одном из Российских рецензируемых журналов (входящих в список ВАК).

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

Программный комитет:
Владимир Анатольевич Захаров (Московский государственный университет),
Всеволод Павлович Котляров (Санкт-Петербургский Государственный Политехнический Университет)
Виктор Вячеславович Кулямин (Институт системного программирования РАН, Москва),
Николай Вячеславович Шилов (Институт систем информатики СО РАН, Новосибирск),
Natasha Alechina (University of Nottingham, UK),
Boris Konev (University of Liverpool, UK),
Natalia Sidorova (Techn. University Eindhoven, Netherlands).

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

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

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

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

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

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