Семинар "Программные семантики, спецификации и верификация (PSSV)"

Семинар "Программные семантики, спецификации и верификация" является ведущим событием в России в области применения формальных методов в разработке и анализе программного обеспечения.

В 2016 году седьмой семинар PSSV пройдет в Санкт-Петербурге совместно с конференцией "Computer Science Symposium" (CSR-2016). Первые шесть семинаров прошли в 2010 году в Казани, в 2011 году в Санкт-Петербурге, в 2012 году в Нижнем Новгороде, в 2013 году в Екатеринбурге, в 2014 году в Москве и в 2015 году в Казани.

На семинар приезжают ведущие российские и зарубежные ученые в области спецификаций, верификации и формальных методов.

Основные направления, освещаемые на семинаре, связаны с верификацией, спецификациями программ и методами анализа программ.

Объявлен прием статей на 7-й семинар PSSV-2016.

Спонсоры и партнеры:

  • Приглашенные доклады поддержаны PVS-Studio, PVS-Studio - статический анализатор кода для программ на языках C, C++ and C#
  • Предварительная публикация докладов поддерживается электронным журналом Системная информатика, издаваемым Институтом систем информатики РАН, Сибирское отделение
  • Публикации избранных расширенных версий статей по результатам семинара обеспечивается журналом "Моделирование и анализ информационных систем", издаваемым Ярославским государственным университетом.