Workshop Program Semantics, Specification and Verification 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.

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 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 8, 2024
• Paper (extended abstract) submission: Sunday September 15, 2024
• Notification for extended abstracts: Sunday September 29, 2024

List of Topics

• 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

Committees

Program Committee

• Igor S. Anureev (Novosibirsk State University and Ershov Institute of Informatics Systems, Novosibirsk)
• Alexander D. Chichigin (Kontur.io, Batumi)
• 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)
• Irina A. Lomazova (High School of Economics, Moscow)
• Andrew M. Mironov (Lomonosov Moscow State University)
• Alexandr V. Naumchev (Russian Research Institute)
• Antonina N. Nepeivoda (Bauman Polytechnic University, Moscow, and Program Systems Institute, Pereslavl)
• Denis V. Nikolskiy (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)

Organizing committee

• Nikolai Kudasov
• Zurab Otarashvilli
• Nikolay Shilov

Invited Speakers

• Valery G. Durnev (Demidov Yaroslavl State University, Yaroslavl): Algorithmic problems for equations with restrictions on solutions in free semigroups and groups
• Vladimir V. Ivanov (Innopolis University, Innopolis): Deep Learning in Source Code Summarization and Question Answering
• Vadim S. Mutilin (Ivannikov Institute of System Programming, Moscow): Linux drivers verification – achievements and prospects
• 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
• Nadia Polikarpova (University of California, San Diego): Big Ideas in Program Synthesis
• Kirill Ziborov (Positive Technologies, Lomonosov Moscow State University): Research and application of approaches to formal verification of smart contracts in Ethereum

Publication

• 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.

Venue

The conference will be held in hybrid mode – online and at Innopolis University in IT city Innopolis (Republic of Tatarstan, Russia)

Contact

All questions about submissions should be emailed to Nikolay V. Shilov (shiloviis@mail.ru) with “PSSV-2024” in the subject line.