PSSV: on move from 2022 to 2023


Program Semantics, Specification and Verification: Theory and Applications

Annually since 2010
PSSV logo

The dates and venue of the PSSV-2023 are set!

PSSV plan for 2022-23
Scope and Topics
Submission, Review, and Publication procedures

PSSV plan for 2022-2023

The International Workshop on Program Semantics, Specification and Verification 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.

According to the decision of the joint meeting of the Program Committee and co-chairs of PSSV-2021 held on March 23, 2022, the workshop was suspended in the year 2022 because of the uncertain current situation for international participation and attendance but to be resumed in the year 2023. (In other words: we step over the number 13 without delay and proceed immediately to the 14th edition.)

(Back to Top.)

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.)

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.)