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

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

Семинар проводится с совместно с конференцией "Computer Science Simposium (Russia)".

В 2013 году четвертый семинар PSSV пройдет в Екатеринбурге. Первые три семинара прошли в 2010 году в Казани, в 2011 году в Санкт-Петербурге и в 2012 году в Нижнем Новгороде.

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

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

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

Опубликована программа семинара

Регистрация

Открыта регистрация на конференцию. Стоимость участия 1500 рублей или 40 евро. Подробную информацию об оплате и регистрации можно найти здесь