PSSV-2023: Workshop on Program Semantics, Specification and Verification: Theory and Applications InnopolisUniversity Innopolis, Russia, November 3-4, 2023 |
Conference website | https://persons.iis.nsk.su/en/PSSVfrom2022towards2023 |
Submission link | https://easychair.org/conferences/?conf=pssv2023 |
Abstract registration deadline | September 16, 2023 |
Submission deadline | September 23, 2023 |
The International Workshop on Program Semantics, Specification and Verification (PSSV) has 12-years history. It was launched in 2010 to become a venue to help collaboration between researchers in the field of program semantics, specification and verification from the Commonwealth of Independent States and International colleagues. Please refer history of PSSV at https://persons.iis.nsk.su/en/PSSVfrom2022towards2023.
Submission Guidelines
Program Committee consider the following types of submissions:
- 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.
List of Topics
Research, work in progress, position and student papers were, are, and will be welcome. List of topics of interest included (but was 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 analysis of programs
- formal approach to testing and validation
- program analysis and verification tools
Committees
Program Committee
- Igor S. Anureev (Ershov Institute of Informatics Systems, Novosibirsk)
- Natalia O. Garanina (Ershov Institute of Informatics Systems, Novosibirsk)
- 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)
- 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
- Sergey M. Staroletov (Polzunov Altai State Technical University, Barnaul)
Organizing committee
- TBD
Invited Speakers
- TBD
Publication
The workshop practices the following publication mode.
- Firstly, ALL accepted papers will be published in the pre-proceedings in electronic journal "System Informatics" (https://system-informatics.ru/en).
- Then selected revised and extended papers (based on invited, regular and other talks presented at PSSV) will published (after the workshop and the next review) in n.4 (2023) of Russian peer review journal "Modeling and Analysis of Information Systems" (MAIS, https://www.mais-journal.ru/jour/).
- Finally English translations of some of these selected papers may be published (subject to decision of Editorial board of MAIS journal) next year in n.7(2024) of "Automatic Control and Computer Sciences" (http://www.springer.com/computer/hardware/journal/11950).
Venue
The conference will be held in in hybrid mode:
- in person in Innopolis Universty (https://innopolis.university/en/) located in IT city Innopolis (https://en.wikipedia.org/wiki/Innopolis) in Republic of Tatarstan, Russia,
- and online (platform TBD).
Contact
All questions about submissions should be emailed to Nikolay V. Shilov (shiloviis@mail.ru).