XI Workshop
Program Semantics, Specification and Verification:
Theory and Applications

was held online November 3-4, 2020

Annually since 2010
PSSV logo

Important Dates Scope and Topics Program Committee and Contacts Co-Chairs and Steering Committee Organizing Committee Invited Speakers and Talks Panel Discussion on Contemporary Programming Languages Programme with links to presentations and videos Types of Submissions and Publications Sponsor(s)

Scope and Topics

Research, work in progress, position and student papers were welcome. List of topics of interest included (but was 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 analysis of programs;
  • formal approach to testing and validation;
  • program analysis and verification tools.
(Back to Top.)

Program Committee:

  • Natasha Alechina (Utrecht University, Netherlands),
  • Alexander Bolotov (University of Westminster, UK),
  • Vladimir Itsykson (St. Petersburg State Polytech. University, Russia),
  • Igor Konnov (Informal Systems, Austria),
  • Victor Kuliamin (Institute for System Programming, Moscow, Russia),
  • Andrei Klimov (Keldysh Institute of Applied Mathematics, Moscow, Russia),
  • Alexei Lisitsa (University of Liverpool, UK),
  • Irina Lomazova (Higher School of Economics, Moscow, Russia),
  • Manuel Mazzara (Innopolis University, Russia),
  • Sergey Staroletov (Polzunov Altai State Technical University, Barnaul, Russia),
  • Nina Yevtushenko (Tomsk State University and Institute for System Programming, RAS, Moscow, Russia).
(Back to Top.)

Program Co-Chairs

  • Nikolay Shilov (Innopolis University, Russia, shiloviis(at)
  • Vladimir Zakharov (Moscow State University, Russia, zakh(at)

Steering Committee

  • Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia, vnep(at)
  • Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, valery-sokolov(at)
(Back to Top.)

Local Organizing Committee (Higher School of Economics - National Research University)

  • Irina Lomazova (ilomazova(at)
  • Roman Nesterov (rnesterov(at)
  • Vladimir Zakharov (zakh(at)

General coordination and management

(Back to Top.)

Invited speakers

(Back to Top.)

Panel Discussion on Contemporary Programming Languages

The following professionals Andrey Breslav (JetBrains), Aleksei Nedoria (Huawei), Antony Polukhin (Yandex), Alexey Nezvanov (The High School of Economics), Alexey Kanatov and Evgene Zouev and Evgene Zouev and Nikolai Kudasov (Innopolis University) participated in the discussion as panelists.

(Back to Top.)

Types of Submissions and Publications

Program Committee had solicited

  • regular research submissions in the form of extended abstracts (up to 8 pages, LNCS style) in English (each regular research submission has been reviewed by 3 PC members);
  • work in progress, position, poster and student papers (up to 4 pages) in English (each of these submissions has been reviewed by a PC member).

Selected revised and extended papers were published (after the workshop) in the Vol 27, No 4 (2020) of Modeling and Analysis of Information Systems . ( Modeling and Analysis of Information Systems is a Russian peer-review journal where PSSV selected and revised papers are published since the very first edition of the workshop in 2010.) We expect (as it was in the previous years of the PSSV) that English translations of some of these selected papers will appear next year in Automatic Control and Computer Sciences( (indexed by WoS and Scopus).

Important dates

regular research submissions (extended abstracts) September 28, 2020 (extended date)
short submissions (abstracts of work in progress, position papers and posters)
start - October 12, 2020
end - October 19, 2020
notification for ALL submissions October 27, 2020 (extended date)
workshop (online) November 3-4, 2020
invitations of selected talks to post-proceedings November 5, 2020
papers for the post-proceedings November 15, 2020
notification for the post-proceedings papers around the end of November, 2020


Information hosting: System Informatics logo
Proceeding: IIS eng logo
Selected Proceeding: IIS eng logo
Awards for best talks JB-Research logo
(Back to Top.) (Back to Menu.)