|
|
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
English
Program Chairs
- Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia, vnep (at) iis.nsk.su)
- Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, valery-sokolov (at)yandex.ru)
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).
|
|
|