 |
PSSV-2024 |
|
|
Workshop
|
| Since 2010 annually (but 2022) | |
 |
|
| PSSV-2021: https://persons.iis.nsk.su/en/pssv21 | |
| PSSV-2023: https://persons.iis.nsk.su/en/PSSVfrom2022towards2023 |
- Links to "mirror" and submission pages:
- Link to EasyChair Call For Papers (in English): https://easychair.org/cfp/PSSV-2024
- Link to EasyChair submission page: https://easychair.org/conferences/?conf=pssv2024
- Страница семинара на русском
- Important dates
-
Abstract submission (optional): Sunday September 8, 2024 -
Paper (extended abstract) submission: Sunday September 15, 2024 -
Notification for extended abstracts: Sunday September 29, 2024 -
Affiliated Verification Hackathon VeHa-2024: Friday October 18 - Monday October 21, 2024 -
Workshop PSSV-2024: Saturday October 19 - Monday October 20, 2024 -
Announcement of the Laureate of the young scientists' research competition named after V.A. Nepomniachy: Monday October 21, 2024 -
Invitations to post-proceedings: Wednesday October 23, 2024 -
Publication of the list of winers of the verification hackathon VeHa-2024: Sunday October 27, 2024 -
Submission of invited extended and revised papers to post-proceedings: Sunday November 3, 2024 - Notification for submitted to post-proceedings invited extended and revised papers: Sunday November 17, 2024
- Publication of accepted revised and extended papers in Modeling and Analysis of Information Systems: by December 31, 2024
-
Scope and Topics
Topics include but are not limited:
- formal notations for semantic, specification, and verification
- formal models and semantics of programs and systems
- formal semantics of programming and specification language
- formal description techniques
- formal logics for specification and verification
- deductive verification, automatic theorem proving and proof assistants
- model design, proving, and checking of programs and systems
- static and dynamic program analysis
- formal approaches to testing and program validation
- tools for program analysis and validation
- program language theory – from syntax to type systems
- program transformations and synthesis
- industrial experience and case studies on any of the above or related topics
Honorary Chair
- Valery A. Sokolov (Demidov Yaroslavl State University, Yaroslavl)
Program Committee:
- Igor S. Anureev (Novosibirsk State University and Ershov Institute of Informatics Systems, Novosibirsk) - coordinator of preproceedings publication, Research competition Chair
- Alexander D. Chichigin (Kontur.io, Batumi) - Publicity co-chair (outside Russia)
- Natalia O. Garanina (Novosibirsk State University and Ershov Institute of Informatics Systems, Novosibirsk)
- Andrey V. Klimov (Keldysh Institute of Applied Mathematics)
- Dmitry A. Kondratyev (Novosibirsk State University and Ershov Institute of Informatics Systems, Novosibirsk)
- Nikolai D. Kudasov (Innopolis University, Innopolis)
- Egor V. Kuzmin (Demidov Yaroslavl State University, Yaroslavl) - Publicity co-chair, coordinator of postproceedings publication (for Russia)
- Irina A. Lomazova (High School of Economics, Moscow)
- Andrew M. Mironov (Lomonosov Moscow State University)
- Alexandr V. Naumchev (Russian Research Institute)
- Denis V. Nikolskiy (Innopolis University, Innopolis) - coordinator of Verification competition VeHa-2024
- Antonina N. Nepeivoda (Bauman Polytechnic University, Moscow, and Program Systems Institute, Pereslavl)
- Irina V. Shoshmina (St. Petersburg Polytechnic)
- Nikolay V. Shilov (Innopolis University, Innopolis) — PC Chair, workshop manager
- Sergey M. Staroletov (Polzunov Altai State Technical University, Barnaul)
Organizing Committee (at Innopolis):
- Nikolai Kudasov
- Zurab Otarashvilli
- Nikolay Shilov
Past PSSV (2010-2023)
The workshop has 14 years tradition. It was launched in 2010 to serve a platform for research coordination and cooperation in the field of program semantics, specification, and verification for colleagues from former Russia and abroad. The first workshop PSSV-2010 was organized by Valery A. Sokolov and Valery A. Nepomniaschy (1939-2021). Seven editions of the PSSV series were satellite events of Computer Science Symposium in Russia (CSR Conference Series), three editions – satellite events of A.P. Ershov Informatics Conference (the PSI Conference Series), and four editions were standalone events:
- PSSV-2010 – with CSR-2010 in Kazan
- PSSV-2011 – with CSR-2011 in St. Petersburg
- PSSV-2012 – with CSR-2012 in Nizhny Novgorod
- PSSV-2013 – with CSR-2013 in Yekaterinburg
- PSSV-2014 – with CSR-2014 in Moscow
- PSSV-2015 – with PSI-2015 in Kazan and Innopolis
- PSSV-2016 – with CSR-2016 in St. Petersburg
- PSSV-2017 – with PSI-2017 in Moscow
- PSSV-2018 – standalone workshop in Yaroslavl
- PSSV-2019 – with affiliation with a joint event Computer Science Summer in Russia (CSSR) that combines CSR-2019 and PSI-2019 in Novosibirsk
- PSSV-2020 – standalone online workshop organized by High School of Economics (Moscow)
- PSSV-2021 – standalone online workshop organized by Innopolis University (Innopolis, Russia)
- PSSV-2023 – standalone hybrid workshop organized by Innopolis University (Innopolis, Russia) with affiliated The First Verification Hackathon VeHa-2023.
Invited speakers and talks
- Valery G. Durnev (Demidov Yaroslavl State University, Yaroslavl): Algorithmic problems for equations with restrictions on solutions in free semigroups and groups (abstract)
- Vladimir V. Ivanov (Innopolis University, Innopolis): Deep Learning in Source Code Summarization and Question Answering (abstract)
- Vadim S. Mutilin (Ivannikov Institute of System Programming, Moscow): Linux drivers verification – achievements and prospects (abstract)
- Maria A. Mylitsyna and Artyom O. Kokorin (Группа Астра / Astra Group): Experience in using formal methods for verifying the security module of the Astra Linux SE OS (abstract)
- Nadia Polikarpova (University of California, San Diego): Big Ideas in Program Synthesis (abstract)
- Kirill Ziborov (Positive Technologies, Lomonosov Moscow State University): Research and application of approaches to formal verification of smart contracts in Ethereum (abstract)
Submission, Review, and Publication procedures
Program Committee had solicited the following types of submissions on the topics of the workshop
- Regular research submissions in the form of an extended detailed abstract in English: 6-8 pages (excluding references) with an obligatory section on related works (1-2 pages) to be reviewed by 3 PC members.
- Short abstracts of research in progress (or of posters, student thesis reports, etc.): 2-4 pages (including main references) with an obligatory 1-2 paragraphs on related works to be reviewed by a PC member.
PSSV practices the following publication mode.
- Firstly, all accepted extended abstracts were published (prior to PSSV-2024) in the online journal System Informatics, all accepted short abstracts were published (prior to PSSV-2024) on Internet.
- Next, 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 .
- Finally, 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.
Research and verification competition
- Program Committee held Second young scientists research competition named after Valery A. Nepomniaschy among authors. (Please refer Regulations document for further details.) Program Committy awarded the prize to Ivan M. Chernenko, postgraduate student at Institute of Automation and Electrometry, Russian Academy of Sciences, for his research and talk Pattern-Based Approach to Automation of Deductive Verification of Process-Oriented Programs.
- The second Russian Verification Hackathon VeHa-2024 was held in affiliation and in parallel with the workshop. (The first competition VeHa-2023 was held in parallel and in affiliation with PSSV-2023.) VeHa-2024 competition was held in a hybrid mode, and online tutorials were held in advance. The tasks, tutorials and results are published on the competition page VeHa-2024.
Contacts
- In case of questions please contact Nikolay V. Shilov by email (shiloviis@mail.ru) with “PSSV-2024” in the subject line.
Sponsors
| Information hosting: |  A.P. Ershov Institute of Informatics Systems (IIS) |
| Siberian Branch of the Russian Academy of Sciences | |
| Pre-Proceeding: |  |
| Selected Post-Proceeding: |  |
| PSSV-24 host: |  |