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

Шестой международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications, PSSV-2015), аффилированный с 10-й международной конференцией "Перспективы системной информатики" (PSI-2015), пройдет 24 августа 2015 года в Казани.

Важные даты:

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

Язык семинара: английский

Принимаются исследовательские статьи и статьи, описывающие текущее состояние исследований (work in progress).

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

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

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

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

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

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

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

Объем краткого текста доклада - до 8 страниц (в стиле Lecture Notes in Computer Science) на английском языке. Для изложения необходимых технических деталей можно использовать приложение объемом до 4 страниц, которое выделено в тексте как приложение и рассматривается программным комитетом при отборе докладов. Тексты докладов должны быть в формате PDF. Для приема докладов используется система EasyChair:

https://www.easychair.org/conferences/?conf=pssv2015

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