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

(PSSV-2019, two days (TBD) from July 1 to July 5, 2019, Novosibirsk Akademgorodok, Russia)

PSSV logo PSSV-2010-2016 workshops' pages:
PSSV-2017 workshop' page:
PSSV-2018 workshop' page:

The workshop is a satellite event of A.P. Ershov Informatics Conference (the PSI Conference Series, 12th edition) in the framework of Computer Science Summer in Russia (CSSR).

Important Dates Scope and Topics Program Committee and Contacts Co-Chairs and Steering Committees Invited Speaker(s) Submissions and Publication Registration, Visa and Accommodation Sponsors

Important dates

  • Paper (extended abstract) submission: Sunday April 21, 2019
  • Notification: Sunday May 19, 2019
  • Final versions of accepted extended abstracts for pre-workshop publication: Sunday June 2, 2019
  • Poster/student paper submission: Sunday June 2, 2019
  • Poster/student paper notification: Sunday June 9, 2019
  • Registration: TBD
  • Registration: TBD
  • Workshop: Two days in July 1-5, 2019
  • Revised selected papers submission for post-workshop publication (by invitation): TBD
(Back to Top.)

Scope and Topics

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

Program Committee (to be confirmed):

  • Natasha Alechina (University of Nottingham, UK),
  • Alexander Bolotov (University of Westminster, UK),
  • Vladimir Itsykson (St. Petersburg State Polytech. University, Russia),
  • Igor Konnov (INRIA Nancy & LORIA, France),
  • Victor Kuliamin (Institute for System Programming, Moscow, Russia),
  • Egor Kuzmin (Yaroslavl State University, Russia, to be confirmed),
  • Alexei Lisitsa (University of Liverpool, UK),
  • Irina Lomazova (Higher School of Economics, Moscow, Russia),
  • Manuel Mazzara (Innopolis University, Russia),
  • Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia),
  • Alexander Okhotin ( St. Petersburg State University, Russia),
  • Aleksey Promsky (Institute of Informatics Systems, Novosibirsk, Russia),
  • Valery Sokolov (Yaroslavl State University, 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.)

Invited Speaker(s)

  • Alexei Lisitsa (Department of Computer Science, University of Liverpool) - title TBD
  • TBD
(Back to Top.)

Submission and Publication

Program Committee invites regular research submissions (on topics of program semantics, specification and verification) in the form of extended abstracts (up to 8 pages, Lecture Notes in Computer Science style) in English. Additional details may be included in an appendix up to 4 pages for Program Committee. Each regular research submission will be reviewed by 3 PC members.

Program Committee also invites poster and student papers (up to 4 pages). Each of these submissions submission will be reviewed by PC.

All submissions (regular, poster and student) should be via EasyChair conference system (

All accepted papers will be published in the preliminary proceedings before the workshop. Selected papers will be published after the workshop in Russian peer-review journal Modeling and Analysis of Information Systems ( and then translated and published in Automatic Control and Computer Sciences( (indexed by WoS and Scopus).

At least one author of every accepted paper should present a talk in the workshop.

Registration, Visas, Accommodation:

Please proceed to Attending section of the PSI web-page.


Information hosting: IIS eng logo

(Back to Top.)