Очередной (пятнадцатый) ежегодный семинар из серии «Семантика, спецификация и верификация программ – теория и приложения» (PSSV, Workshop «Program Semantics, Specification and Verification: Theory and Applications») пройдет 18-21 октября 2024 г. в гибридном формате – онлайн и в Университете Иннополис (Республика Татарстан).
Сотрудники ИСИ СО РАН на протяжении всей истории семинара были его организаторами и активными участниками. В рамках семинара пройдут соревнования по верификации программ VeHa-2024 (с привлечением индустриальных партнеров) и конкурс работ молодых ученых по теории программирования, посвященный памяти Валерия Александровича Непомнящего.
Приглашаем принять участие в работе семинара PSSV-2024. Подробности – в приложенном Информационном Письме и на странице семинара.