 |
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
(Programme and Preproceedings are available!) - 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 10, 2024
- Publication of accepted revised and extended papers in Modeling and Analysis of Information Systems: by December 31, 2024
Scope and Topics
Research, work in progress, position and student papers are welcome. 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 is soliciting 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.
Please submit short or extended abstracts using EasyChair at https://easychair.org/conferences/?conf=pssv2024. Important dates are as follows:
- Abstract submission (optional): Sunday September 1, 2024
- Paper (extended abstract) submission: Sunday September 8, 2024
- Notification for extended abstracts: Sunday September 22, 2024
PSSV practices the following publication mode.
- Firstly, all accepted (after review) extended abstracts will be invited to be presented at PSSV-2024 and will be published (prior to PSSV-2024) in the online journal System Informatics, all accepted (after review) short abstracts will be invited to be presented at PSSV-2024 and will be 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 announces the Second young scientists research competition named after Valery A. Nepomniaschy among authors (35 years at most at moment of PSSV-2024) of papers presented at PSSV-24. Program Committee decision on Laureate of the competition will be announced at PSSV-2024. (Please refer Regulations document for further details.)
- Program Committee plans to organize the Second verification competition for young researchers Verification Hackathon VeHa-2024. The first competition VeHa-2023 was held in parallel with PSSV-2023. This year the second verification competition VeHa-2024 will be held in parallel with PSSV-2024 in a hybrid mode with online tutorials in advance (in September 2024, dates to be announced later). The page and topics of VeHa-2024 will be advertised by Sunday August 25, 2024, prior to the tutorials, while the tasks will be published at the first day of the competition for registered individuals and teams.
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: |  |