A.P. Ershov Institute of Informatics Systems
A.P. Ershov Informatics Conference  •  August, 25 - 27, 2015, Innopolis, Kazan, Russia

Workshop "Program Semantics, Specification & Verification: Theory and Application (PSSV)"

The Sixth Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2015) affiliated with 10th International Сonf. "Perspectives of System Informatics" (PSI -2015), will be held on August 27 , 2015 in Kazan, Russia

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.

Official Language


Program Chairs

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

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 (Peter the Greate St. Petersburg Polytechnical 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).


Development: xTech

© 2008-2024 IIS SB RAS