On November 3–4, 2023, the international conference “Workshop on Program Semantics, Specification and Verification: Theory and Applications” (PSSV-2023) will be held in Innopolis.

The International Workshop on Program Semantics, Specification and Verification (PSSV) has 12-years history. It was launched in 2010 to become a venue to help collaboration between researchers in the field of program semantics, specification and verification from the Commonwealth of Independent States and International colleagues.

In 2023, the conference will be held in hybrid mode: online (platform TBD) and in person in Innopolis Universty located in IT city Innopolis in Republic of Tatarstan, Russia.

Conference website https://persons.iis.nsk.su/en/PSSVfrom2022towards2023
Submission link https://easychair.org/conferences/?conf=pssv2023
Abstract registration deadline September 16, 2023
Submission deadline September 23, 2023

Main topics

• formalisms for program semantics;
• formal models and semantics of programs and systems;
• semantics of programming and specification languages;
• formal description techniques;
• logics for formal specification and verification;
• deductive program verification;
• automatic theorem proving;
• model checking of programs and systems;
• static and dynamic analysis of programs;
• formal approach to testing and validation;
• program analysis and verification tools;
• theory of programming languages;
• type theory;
• program synthesis and transformations.

Selected revised and extended papers (based on invited, regular and other talks presented at PSSV) will published (after the workshop and the next review) in No. 4 (2023) of Russian peer review journal "Modeling and Analysis of Information Systems"