On October 19–21, 2024, the international conference “Workshop on Program Semantics, Specification and Verification: Theory and Applications” (PSSV-2024) will be held in Innopolis.

Conference website https://persons.iis.nsk.su/en/PSSV-2024
Submission link https://easychair.org/conferences/?conf=pssv2024

Important dates

• Abstract submission (optional): Sunday September 1, 2024
• Paper (extended abstract) submission: Sunday September 8, 2024
• Notification for extended abstracts: Sunday September 22, 2024
• Affiliated Verification Hackathon VeHa-2024: Friday October 18 – Monday October 21, 2024
• Workshop PSSV-2024: Saturday October 19 - Monday October 21, 2024
• Announcement of the Laureate of the young scientists' research competition named after V.A. Nepomniachy: Monday October 21, 2024
• Invitations to post-proceedings: Wednesday October 23, 2024
• Publication of the list of winers of the verification hackathon VeHa-2024: Sunday October 27, 2024
• Submission of invited extended and revised papers to post-proceedings: Sunday November 3, 2024
• Notification for submitted to post-proceedings invited extended and revised papers: Sunday November 10, 2024
• Publication of accepted revised and extended papers in Modeling and Analysis of Information Systems: by December 31, 2024