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

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

Веб-сайт конференции https://persons.iis.nsk.su/ru/PSSV-2024
Представление материалов: https://easychair.org/conferences/?conf=pssv2024

Важные даты:

• Представление аннотаций (необязательно): воскресенье 1 сентября 2024
• Представление расширенных тезисов для рецензирования: воскресенье 8 сентября 2024
• Решение о принятии представленных работ: воскресенье 22 сентября 2024
• Соревнования по верификации Verification Hackathon VeHa-2024: пятница 18 октября - понедельник 21 октября 2024
• Семинар PSSV-2024: суббота 19 октября – понедельник 21 октября 2024
• Объявление итогов конкурса им. В.А. Непомнящего молодых ученых: понедельник 21 октября 2024
• Приглашение избранных работ для публикации: среда 23 октября 2024
• Объявление итогов соревнований по верификации VeHa-2024: воскресенье 27 октября 2024
• Представление переработанных и дополненных приглашенных работ: воскресенье 3 ноября 2024
• Решение о принятии представленных переработанных и дополненных приглашенных работ: воскресенье 10 ноября 2024
• Публикация принятых переработанных и дополненных приглашенных работ в журнале Моделирование и анализ информационных систем: декабрь 2024