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

Четвертый международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (г. Екатеринбург, 23-24 июня 2013). 8th International Computer Science Symposium in Russia (CSR-2013) Program Semantics, Specification and Verification: Theory and Applications (PSSV 2013)

Важные даты:

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

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

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

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

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

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

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

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

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

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

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

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