 |
PSSV-2023 |
|
|
Workshop
|
| Annually since 2010 | |
 |
|
| PSSV-2020: http://persons.iis.nsk.su/en/pssv2020 | |
| PSSV-2021: https://persons.iis.nsk.su/en/pssv21 |
- Call for papers ("информационное письмо")
- Important dates (PSSV-2023 is almost over, all but one dates are not important any more)
-
Paper (extended abstract) submission - September 30, 2023 -
Notification for extended abstracts - October 22, 2023 -
Workshop, "verification hackathon", and Young scientists research competition named after V.A. Nepomniachy in Innopolis University in IT city Innopolis (Republic of Tatarstan, Russia) - November 3-4, 2023 -
Invitations to post-proceedings - November 8, 2023 -
Submission of extended and revised papers to post-proceedings - November 15, 2023 -
Notification for extended abstracts - November 22, 2023 - Publication of selected revised and extended papers in Modeling and Analysis of Information Systems - February 1, 2024
-
Scope and Topics
Research, work in progress, position and student papers were, are, and will be welcome. List of topics of interest include (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 and dynamic analysis of programs
- formal approach to testing and validation
- program analysis and verification tools
Program Committee:
- Igor S. Anureev (Ershov Institute of Informatics Systems, Novosibirsk)
- Natalia O. Garanina (Ershov Institute of Informatics Systems, Novosibirsk)
- Vasil Dyadov (Kaspersky Lab., Moscow)
- Andrey V. Klimov (Keldysh Institute of Applied Mathematics)
- Dmitry A. Kondratyev (Ershov Institute of Informatics Systems, Novosibirsk)
- Nikolai D. Kudasov (Innopolis University, Innopolis)
- Egor V. Kuzmin (Demidov Yaroslavl State University, Yaroslavl)
- Irina A. Lomazova (High School of Economics, Moscow)
- Alexandr V. Naumchev (Innopolis University, Innopolis)
- Antonina N. Nepeivoda (Bauman Polytechnic University, Moscow, and Program Systems Institute, Pereslavl)
- Andrey A. Sadovykh (Innopolis University, Innopolis)
- Irina V. Shoshmina (St. Petersburg Polytechnic)
- Nikolay V. Shilov (Innopolis University, Innopolis) — PC Chair
- Sergey M. Staroletov (Polzunov Altai State Technical University, Barnaul)
- Alexander D. Tchitchigin (Noeon Research, Tbilisi)
Past PSSV (2010-2021)
Seven editions of the PSSV series were satellite events of Computer Science Symposium in Russia (CSR, https://logic.pdmi.ras.ru/csr2019/previouscsrs), three editions – satellite events of A.P. Ershov Informatics Conference (the PSI Conference Series, https://psi.nsc.ru/), and three editions were stay-alone events:
- PSSV-2010 – with CSR-2010 in Kazan
- PSSV-2011 – with CSR-2011 in St. Petersburg (https://logic.pdmi.ras.ru/csr2011/pssv2011)
- PSSV-2012 – with CSR-2012 in Nizhny Novgorod (http://agora.guru.ru/display.php?conf=csr2012&page=item009)
- PSSV-2013 – with CSR-2013 in Yekaterinburg
- PSSV-2014 – with in Moscow (https://logic.pdmi.ras.ru/csr2014/pssv2014)
- PSSV-2015 – with PSI-2015 in Kazan (http://psi.iis.nsk.su/en/psi15/workshop)
- PSSV-2016 – with CSR-2016 in St. Petersburg
- PSSV-2017 – with PSI-2017 in Moscow (https://persons.iis.nsk.su/en/PSSV2017)
- PSSV-2018 – stay-alone workshop in Yaroslavl (http://persons.iis.nsk.su/en/pssv2018)
- PSSV-2019 – with affiliation with a joint event Computer Science Summer in Russia (CSSR) that combines CSR-2019 and PSI-2019 in Novosibirsk (https://persons.iis.nsk.su/en/pssv2019)
- PSSV-2020 – stay-alone online workshop organized by High School of Economics (Moscow, http://persons.iis.nsk.su/en/pssv2020)
- PSSV-2021 – stay-alone online workshop organized by Innopolis University (Innopolis, Russia, https://persons.iis.nsk.su/en/pssv21)
Submission, Review, and Publication procedures
Program Committee consider the following types of submissions on the topics of the workshop
- regular research submissions in the form of an extended detailed abstract (6-8 pages in English, LNCS style recommended) two months prior the current workshop 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) two months prior the current workshop to reviewed by a PC member.
The past workshops practiced the following publication mode.
- Firstly, selected revised and extended papers (based on invited, regular and other talks presented at PSSV) are published (after the workshop and the next review) in Modeling and Analysis of Information Systems, a Russian peer-review journal (where PSSV selected and revised papers have been published since the very first edition of the workshop in 2010.) For example, selected papers of PSSV-2021 are published in Vol 28, No 4 (2021) of Modeling and Analysis of Information Systems .
- Then English translations of some of these selected papers appear next year in Automatic Control and Computer Sciences (indexed by WoS and Scopus). For example, selected translations of papers from PSSV-2020 are already published in Vol 55, No 7 (2021) of Automatic Control and Computer Sciences.
Sponsors
| Information hosting: |  |
| Pre-Proceeding: |  |
| Selected Post-Proceeding: |  |
| PSSV-23 host: |  |