Седьмой семинар «Программные семантики, спецификации и верификация: Теория и Приложения»

14 - 15 июня 2016 г., Санкт-Петербург

Рубрики: Совещание | ИТ, Математика, Техника

URL мероприятия: http://pssv-conf.ru/

Описание:

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

Официальный сайт серии семинаров PSSV: http://pssv-conf.ru 
Страничка семинара на сайте  CSR-2016: http://logic.pdmi.ras.ru/csr2016/pssv16 
Регистрация участников семинара на сайте  CSR-2016: http://logic.pdmi.ras.ru/csr2016/registration

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

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

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

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

Срок подачи заявок: 16 апреля 2016 г.

Организаторы:

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

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

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

  •  Непомнящий Валерий Александрович (Институт систем информатики СО РАН, Новосибирск) 
  •  Соколов Валерий Анатольевич (Ярославский государственный университет)

Контактная информация:

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

  • Непомнящий Валерий Александрович (vnep@iis.nsk.su)
  • Соколов Валерий Анатольевич (valery-sokolov@yandex.ru)

Организационные вопросы: Шилов Николай Вячеславович (shilov@iis.nsk.su)

Источник информации: http://conf.ict.nsc.ru/