Седьмой семинар «Программные семантики, спецификации и верификация: Теория и Приложения» (PSSV 2016, 14-15 июня 2016)

Объявление и приглашение к участию

В этом году семинар PSSV-2016 пройдёт под эгидой Симпозиума по компьютерным наукам Computer Science in Russia ( СSR 2016, http://logic.pdmi.ras.ru/csr2016/ ) в Санкт-Петербурге.

Важные даты

Представление материалов для отбора: до 23 апреля 2016 (включительно)

Уведомление о включении в программу семинара: 18 мая 2016

Регистрация участников семинара на сайте CSR-2016 (http://logic.pdmi.ras.ru/csr2016/registration) будет открыта в течение апреля 2016 г.

Рабочий язык семинара: английский. (Возможно представление материалов для отбора на русском языке с аннотацией и названием на английском языке, подробнее – см. в разделе Представление и публикация материалов.)

Тематика

Принимаются к рассмотрению как доклады о законченных исследованиях, так и сообщения о ходе исследований (research in progress). Неполный список тематики PSSV следует ниже:

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

В 2016 программа семинара будет включать пленарный приглашённый доклад. (Докладчик и тема будут объявлены до 11 мая 2016 г.)

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

Для отбора следует предоставить программному комитету расширенные тезисы доклада объемом не более 8 страниц в формате PDF в стиле Lecture Notes in Computer Science через систему EasyChair. Для технической полноты изложения (для доказательств, например) тезисы можно снабдить явно обозначенным дополнением объёмом до 4 страниц; однако, ознакомление с дополнением не являются обязательными при отборе. Страница семинара в системе EasyChair – https://easychair.org/conferences/?conf=pssv2016. Рабочий язык семинара – английский, но для первоначального отбора материалов возможно представление тезисов на русском языке, но с аннотацией и названием на английском языке.

Все принятые и представленные на семинаре доклады будут опубликованы в одном из российских рецензируемых журналов (как минимум, включенным в РИНЦ). Избранные, переработанные и дополненные доклады предыдущих семинаров PSSV публиковались в журнале «Моделирование и анализ информационных систем» (ВАК)

Контакты и свежие новости:

Самые свежие новости о предстоящем семинаре PSSV-2016 можно получить на официальном сайте семинара http://pssv-conf.ru. При возникновении вопросов по программе семинара PSSV-2016 нужно обращаться по электронной почте к сопредседателям программного комитета В.А. Непомнящему и В.А. Соколову, а по вопросам организации – к Н.В. Шилову.