Второй семинар "Program Semantics, Specification and Verification: Theory and Applications"

Семинар проводится совместно с 6-м международным симпозиумом "Computer Science Symposium in Russia (CSR-2011)" пройдет 12-13 июня 2011 года в Санкт-Петербурге, Россия. Это будет второй семинар. Первый семинар PSSV-2010 проходил 14-15 июня 2010 года Казани как часть 5-го международного симпозиума "Computer Science Symposium in Russia (CSR-2011)".

Важные даты:

  • Подготовка расширенных тезисов: 10 марта 2011 года
  • Уведомление о принятии: 4 апреля 2011 года

Официальный язык: английский.

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

Принимаются завершенные исследования, развиваемые исследования и постановочные статьи. Список тем включает следующие:

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

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

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

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

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

Прием материалов и публикация

Программный комитет принимает расширенные тезисы докладов (до 8 страниц, в стиле Lecture Notes in Computer Science style) на английском языке. Дополнительные детали могут быть включены в приложения объемом до 4-х страниц для программного комитета. Материалы должны быть в формате PDF. Они должны быть посланы как вложение по электронной почте с темой "PSSV-2011" Алексею Промскому. (promsky () iis.nsk.su). Аннотации докладов следует посылать (как вложения) сопредседателям семинара. Подтверждения будут посланы в течение 3-х дней.

Программный комитете планирует организовать обычные сессии и стендовые презентации. Все принятые статьи будут опубликованы в материалах семинара и будут распространяться во время семинара. Лучшие статьи будут опубликованы в одном из российских рецензируемых журналов. По крайней мере один из авторов каждой принятой статьи должен представлять доклад на семинаре.

Программа семинара