Приглашение к участию

Третий международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (г. Нижний Новгород, 1-2 июля 2012). 7th International Computer Science Symposium in Russia (CSR-2012) Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012)

Семинар пройдет в рамках седьмого международного симпозиума по компьютерным наукам в России 7th International Computer Science Symposium in Russia, CSR-2012, July 3-7, 2012

Важные даты:

  • Представление докладов по электронной почте: 25.03.2012
  • Извещение о включении доклада в программу семинара: 09.04.2012

Язык публикации докладов: английский

Тематика семинара:

  • формализмы для описания семантики;
  • формальные модели и семантики программ и систем;
  • семантика языков программирования и языков спецификаций;
  • языки формальной спецификации программ и систем;
  • логики для формальной спецификации и верификации;
  • дедуктивная верификация программ;
  • автоматическое доказательство теорем;
  • верификация моделей (model checking) программ и систем;
  • статический анализ программ;
  • формальный подход к тестированию и валидации;
  • системы и инструментальные средства тестирования и верификации.

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

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

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

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

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

Организаторы семинара приглашают присылать для отбора тексты докладов, которые содержат

  • изложение новых результатов исследований (research papers),
  • сообщение о ходе и состоянии исследований (work in progress),
  • описание систем и инструментальных средств (tools description).

Объем краткого текста доклада - до 8 страниц (в стиле Lecture Notes in Computer Science). К рассмотрению будут приниматься также статьи на русском языке с последующим переводом, в случае положительного отзыва, на английский язык. Для изложения необходимых технических деталей можно использовать приложение объемом до 4 страниц, которое выделено в тексте как приложение и рассматривается программным комитетом при отборе докладов. Тексты в формате PDF следует направлять в качестве приложения к электронному письму Алексею Владимировичу Промскому (Институт систем информатики СО РАН, Новосибирск) по адресу: promsky@iis.nsk.su с указанием PSSV-2012 в поле «subject». Аннотации докладов следует направлять в качестве приложения к электронному письму председателям программного комитета. Подтверждение в получении письма будет послано в течение 3 дней. Оргвзнос за участие в семинаре составляет 1600 рублей.

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