PSSV-2021: Program Semantics Specification Verification 2021 Innopolis University Innopolis, Russia, November 4-5, 2021 |
Conference website | https://persons.iis.nsk.su/en/pssv21 |
Submission link | https://easychair.org/conferences/?conf=pssv2021 |
Submission deadline | October 10, 2021 |
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- regular research submissions in the form of an extended detailed abstract (6-8 pages in English, LNCS style recommended) to be reviewed by 3 PC members;
- work in progress, position, poster and student research reports in the form of extended abstract (3-4 pages in English, LNCS style recommended) to be reviewed by a PC member.
List of Topics
- 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
Committees
Program Committee
- Thomas Baar (University of Applied Sciences HTW Berlin, Germany)
- Alexander Bolotov (University of Westminster, UK)
- Vladimir Itsykson (St. Petersburg State Polytech. University, Russia)
- Andrei Klimov (Keldysh Institute of Applied Mathematics, Moscow, Russia)
- Igor Konnov (Informal Systems, Austria)
- Victor Kuliamin (Institute for System Programming, Moscow, Russia)
- Alexei Lisitsa (University of Liverpool, UK)
- Irina Lomazova (Higher School of Economics, Moscow, Russia)
- Manuel Mazzara (Innopolis University, Russia)
- Nikolay Shilov (Innopolis University, Russia)
- Dmitry Mordvinov (St. Petersburg State University and JetBrains Research, Russia)
- Sergey Staroletov (Polzunov Altai State Technical University, Barnaul, Russia)
- Nina Yevtushenko (Tomsk State University and Institute for System Programming, RAS, Moscow, Russia)
- Vladimir Zakharov (Moscow State University, Russia)
Organizing committee
- Mansur Khazeev (Innopolis University, Russia)
- Alexei Promsky (Institute of Informatics Systems,Novosibirsk, Russia)
- Nikolay Shilov (Innopolis University, Russia)
Invited Sessions and Speakers
Please refer Workshop webpage at https://persons.iis.nsk.su/en/pssv21#invited.
Publication
Selected revised and extended papers will be published (after the workshop) in the Modeling and Analysis of Information Systems, a Russian peer-review journal where PSSV selected and revised papers are published since the very first edition of the workshop in 2010. (See for example Vol 27, No 4 (2020) of Modeling and Analysis of Information Systems with selected and revised papers of PSSV-2020.)
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(http://www.springer.com/computer/hardware/journal/11950) (indexed by WoS and Scopus).
Venue
The conference will be held in hybrid mode - online (TBD) and offline at Innopolis University (https://innopolis.university/en/) at Innopolis (https://en.wikipedia.org/wiki/Innopolis)
Contact
All questions about submissions should be emailed to Nikolay Shilov (shiloviis(at)mail.ru)
Sponsors
- Information hosting (web-page of PSSV-2021): The A.P. Ershov Institute of Informatics Systems (IIS), Siberian Branch of the Russian Academy of Sciences (https://www.iis.nsk.su/en)
- Publication of Post-Proceeding: Modeling and Analysis of Information Systems (https://www.mais-journal.ru/jour)