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. Please refer history of PSSV at https://persons.iis.nsk.su/en/PSSVfrom2022towards2023.

Submission Guidelines

Program Committee consider the following types of submissions:

• regular research submissions in the form of an extended detailed abstract (6-8 pages in English excluding references but including obligatory section on related works) to be reviewed by 3 PC members;
• work in progress, position, poster and student research reports in the form of extended abstract (2-4 pages in English including main references and a paragraph on related works) to reviewed by a PC member.

(Recommended format and style - LLNCS.) 

Young scientists research competition named after V.A. Nepomniachy among authors (under 35 years of age) of talks presented at PSSV-23 will be held, the decision on the Laureate is made by the PC during PSSV-23. The Regulations (in Russian) on the Competition can be found at the following link.

The Program Committee plans to attract industrial partners to organize a hackathon for students and young professionals on formal verification on "real" (industrial) topics during the PSSV-23. The hackathon will be accompanied by tutorials that correspond to the specific topic of the hackathon.

List of Topics

Research, work in progress, position and student papers were, are, and will be welcome. Topics of interest include (but are not limited to):

• 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 

Committees

Program Committee

• Igor S. Anureev (Ershov Institute of Informatics Systems, Novosibirsk)
• Natalia O. Garanina (Ershov Institute of Informatics Systems, Novosibirsk)
• Vasil Dyadov (Kaspersky Lab., Moscow)
• Andrey V.  Klimov (Keldysh Institute of Applied Mathematics)
• Dmitry A. Kondratyev (Ershov Institute of Informatics Systems, Novosibirsk)
• Nikolai D. Kudasov (Innopolis University, Innopolis)
• Egor V. Kuzmin (Demidov Yaroslavl State University, Yaroslavl)
• Irina A. Lomazova (High School of Economics, Moscow)
• Alexandr V. Naumchev (Innopolis University, Innopolis)
• Antonina N. Nepeivoda (Bauman Polytechnic University, Moscow, and Program Systems Institute, Pereslavl)
• Andrey A. Sadovykh (Innopolis University, Innopolis)
• Irina V. Shoshmina (St. Petersburg Polytechnic)
• Nikolay V. Shilov (Innopolis University, Innopolis) — PC Chair
• Sergey M. Staroletov (Polzunov Altai State Technical University, Barnaul)
• Alexander D. Tchitchigin (Noeon Research, Tbilisi)

Organizing committee

• TBD

Honorary Workshop General Chair

• Valery A. Sokolov (Demidov Yaroslavl State University, Yaroslavl)

Invited Speakers

• TBD

Publication

The workshop practices the following publication mode.

• Firstly, ALL accepted extended detailed abstracts will be published prior to the workshop in the pre-proceedings in electronic journal "System Informatics" (https://system-informatics.ru/en) while all accepted extended abstracts will be published on Internet
• Then 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 n.4 (2023) of Russian peer review journal "Modeling and Analysis of Information Systems" (MAIS, https://www.mais-journal.ru/jour/).

Venue

The conference will be held in in hybrid mode:

• in person in  Innopolis Universty (https://innopolis.university/en/) located in IT city Innopolis (https://en.wikipedia.org/wiki/Innopolis) in Republic of Tatarstan, Russia,
• and online (platform TBD).

Contact

All questions about submissions should be emailed to Nikolay V. Shilov (shiloviis@mail.ru).