XI Workshop
Program Semantics, Specification and Verification:
Theory and Applications PSSV-2020
|
was held online November 3-4, 2020 |
Scope and Topics
Research, work in progress, position and student papers were 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.
(Back to Top.)
Program Committee:
- Natasha Alechina (Utrecht University, Netherlands),
- Alexander Bolotov (University of Westminster, UK),
- Vladimir Itsykson (St. Petersburg State Polytech. University, Russia),
- Igor Konnov (Informal Systems, Austria),
- Victor Kuliamin (Institute for System Programming, Moscow, Russia),
- Andrei Klimov (Keldysh Institute of Applied Mathematics, Moscow, Russia),
- Alexei Lisitsa (University of Liverpool, UK),
- Irina Lomazova (Higher School of Economics, Moscow, Russia),
- Manuel Mazzara (Innopolis University, Russia),
- Sergey Staroletov (Polzunov Altai State Technical University, Barnaul, Russia),
- Nina Yevtushenko (Tomsk State University and Institute for System Programming, RAS, Moscow, Russia).
(Back to Top.)
Program Co-Chairs
- Nikolay Shilov (Innopolis University, Russia, shiloviis(at)mail.ru)
- Vladimir Zakharov (Moscow State University, Russia, zakh(at)cs.msu.su)
Steering Committee
- Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia, vnep(at)iis.nsk.su)
- Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, valery-sokolov(at)yandex.ru)
(Back to Top.)
Local Organizing Committee (Higher School of Economics
- National Research University)
- Irina Lomazova (ilomazova(at)hse.ru)
- Roman Nesterov (rnesterov(at)hse.ru
- Vladimir Zakharov (zakh(at)cs.msu.su)
General coordination and management
(Back to Top.)
Invited speakers
- Natasha Alechina (Intelligent Software Systems, Information and computing sciences department, Utrecht University, The Netherlands): State of the Art in Logics for Verification of Resource-Bounded Multi-Agent System
( Check abstract here.)
- Ekaterina Komendantskaya (School of Mathematical and Computer Sciences, Heriot-Watt University Edinburgh, UK): Refinement types for Verification of Neural Networks
(This is a collaborative work with Wen Kokke and Daniel Kienitz.
Check abstract here.)
- Samvel K. Shoukourian (IT Educational and Research Center, Yerevan State University, Armenia): Polynomial algorithm for equivalence problem of deterministic multitape finite automata
(This is a joint work with Hayk A. Grigoryan. Check abstract here.)
- Ilya Sergey (Yale-NUS College and National University of Singapore): Deductive Synthesis of Heap-Manipulating Programs: Sound, Expressive, Fast
( Check abstract here.)
- Invited industrial talk from
Leading Research Center for Blockchain Technology of Innopolis University presented by Leonid Merkin.
(Back to Top.)
The following professionals
Andrey Breslav (JetBrains),
Aleksei Nedoria (Huawei),
Antony Polukhin (Yandex),
Alexey Nezvanov (The High School of Economics),
Alexey Kanatov and Evgene Zouev and Evgene Zouev and
Nikolai Kudasov (Innopolis University) participated in the discussion as panelists.
(Back to Top.)
Types of Submissions and Publications
Program Committee had solicited
- regular research submissions
in the form of extended abstracts (up to 8 pages, LNCS style) in English
(each regular research submission has been reviewed by 3 PC members);
- work in progress, position, poster and student papers (up to 4 pages) in English
(each of these submissions has been reviewed by a PC member).
Selected revised and extended papers were published (after the workshop) in
the
Vol 27, No 4 (2020) of Modeling and Analysis of Information Systems .
(
Modeling and Analysis of Information Systems is a Russian peer-review journal where PSSV selected and revised papers are published since the very first edition of the workshop in 2010.)
We expect (as it was in the previous years of the PSSV) that English translations of some of these selected papers will appear next year in
Automatic Control and Computer Sciences(http://www.springer.com/computer/hardware/journal/11950)
(indexed by WoS and Scopus).
Important dates
regular research submissions (extended abstracts) | September 28, 2020 (extended date) |
short submissions (abstracts of work in progress, position papers and posters) |
start - October 12, 2020 | end - October 19, 2020 | |
notification for ALL submissions | October 27, 2020 (extended date) |
workshop (online) | November 3-4, 2020 |
invitations of selected talks to post-proceedings | November 5, 2020 |
papers for the post-proceedings | November 15, 2020 |
notification for the post-proceedings papers | around the end of November, 2020 |
Sponsor(s)
| Information hosting: |  |
| Proceeding: |  |
| Selected Proceeding: |  |
| Awards for best talks |  |
(Back to Top.)
(Back to Menu.)
|
