3–4 ноября 2023 года  состоится  Семинар по семантике, спецификации и верификации программ: теория и приложения (PSSV-2023).

Международный семинар PSSV имеет 12-летнюю историю. Он был запущен в 2010 году, чтобы стать площадкой для содействия сотрудничеству исследователей в области семантики спецификации и верификации программ. Мероприятие объединяет коллег из СНГ и других стран.

В 2023 году конференция пройдет в гибридном режиме: онлайн и очно в Университете Иннополис, расположенном в IT-городе Иннополисе в Республике Татарстан, Россия.

Веб-сайт конференции https://persons.iis.nsk.su/en/PSSVfrom2022towards2023
Ссылка для представления тезисов https://easychair.org/conferences/?conf=pssv2023
Крайний срок регистрации аннотации: 16 сентября 2023 г.
Крайний срок подачи тезисов: 23 сентября 2023 г.

Основные темы семинара:

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

Отобранные переработанные и расширенные статьи по материалам семинара будут опубликованы в № 4 (2023 г.) журнала «Моделирование и анализ информационных систем»