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

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

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

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

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

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