Program Semantics, Specification and Verification: Theory and Applications
November 3-4, 2023, in hybrid mode (at Innopolis and online)

Annually since 2010
PSSV logo

Scope and Topics
Program Committee
Submission, Review, and Publication procedures

Scope and Topics

Research, work in progress, position and student papers were, are, and will be welcome. List of topics of interest include (but is 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
(Back to Top.)

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)
(Back to Top.)

Past PSSV (2010-2021)

Seven editions of the PSSV series were satellite events of Computer Science Symposium in Russia (CSR,, three editions – satellite events of A.P. Ershov Informatics Conference (the PSI Conference Series,, and three editions were stay-alone events:

(Back to Top.)

Submission, Review, and Publication procedures

Program Committee consider the following types of submissions on the topics of the workshop

  • regular research submissions in the form of an extended detailed abstract (6-8 pages in English, LNCS style recommended) two months prior the current workshop to be reviewed by 3 PC members;
  • work in progress, position, poster and student research reports in the form of extended abstract (3-4 pages in English, LNCS style recommended) two months prior the current workshop to reviewed by a PC member.
Also Program Committee invites in advance 2-5 prominent speakers from industry and academia (for example, check the list Invited speakers) of PSSV-2020).

The past workshops practiced the following publication mode.

(Back to Top.)


Information hosting: System Informatics logo
Pre-Proceeding: IIS eng logo
Selected Post-Proceeding: IIS eng logo
PSSV-23 host: Innopolis University logo
(Back to Top.)