Call for Papers

The Fourth Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2013) affiliated with 8th International Computer Science Symposium in Russia (CSR-2013), will be held on June 23-24, 2013 in Yekaterinburg, Russia

Important dates

Extended abstract submission: March 25, 2013

Notification: April 16, 2013

Official language

An official language of workshop is English

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.

Program Chairs

  • Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia,
  • Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia,

Program Committee:

  • Natasha Alechina (University of Nottingham, UK),
  • Sergey Baranov (St.Petersburg Institute for Informatics and Automation, Russia),
  • Nina Evtushenko (Tomsk State University, Russia),
  • Vladimir Itsykson (St. Petersburg State Polytech. University, Russia),
  • Andrei Klimov (Keldysh Institute of Applied Mathematics, Moscow, Russia),
  • Vladimir Klebanov (Karlsruhe Institute of Technology, Germany),
  • Victor Kuliamin (Institute for System Programming, Moscow, Russia),
  • Irina Lomazova (Higher School of Economics, Moscow, Russia),
  • Andrey Rybalchenko (Technical University, Munich, Germany),
  • Nikolay Shilov (Institute of Informatics Systems, Novosibirsk, Russia),
  • Vladimir Zakharov (Moscow State University, Russia).

Submission and Publication

Program Committee invites submissions 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. Submissions should be in PDF format. The EasyChair system should be used for submitting the papers:

Program committee plans to have regular sessions and posters presentations. All accepted papers will be published in the preliminary proceedings before the workshop and the volume of the proceedings will be distributed at the workshop. Selected papers will be published after the workshop in one of Russian peer-review journals. At least one author of every accepted paper should present a talk in the workshop.