[Event at CIG] Second call for submissions (and deadline extension) - PSSV-2021: Workshop Program Semantics, Specification and Verification (hybrid format)

[Shilov Nikolay]

Second call for submissions (and deadline extension) - PSSV-2021: Workshop Program Semantics, Specification and Verification (hybrid format)
 
PSSV-2021: XII Workshop Program Semantics, Specification and Verification (Theory and Applications) 
is planned to be held in hybrid mode online (using Zoom) 
and offline (at Innopolis University, https://innopolis.university/en/)
on Thursday and Friday November 4-5, 2021
 
PSSV-2021 workshop' page: https://persons.iis.nsk.su/en/pssv21
 
PSSV Scope and Topics
Research, work in progress, position and student papers were welcome. List of topics of interest includes (but is 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
 
PSSV-2021 Program Committee:
* Thomas Baar (University of Applied Sciences HTW Berlin, Germany)
* Alexander Bolotov (University of Westminster, UK)
* Vladimir Itsykson (St. Petersburg State Polytech. University, Russia)
* Andrei Klimov (Keldysh Institute of Applied Mathematics, Moscow, Russia)
* Igor Konnov (Informal Systems, Austria)
* Victor Kuliamin (Institute for System Programming, Moscow, Russia)
* Alexei Lisitsa (University of Liverpool, UK)
* Irina Lomazova (Higher School of Economics, Moscow, Russia)
* Manuel Mazzara (Innopolis University, Russia)
* Dmitry Mordvinov (St. Petersburg State University and JetBrains Research, Russia)
* Sergey Staroletov (Polzunov Altai State Technical University, Barnaul, Russia),
* Nina Yevtushenko (Tomsk State University and Institute for System Programming, RAS, Moscow, Russia).
 
PSSV-2021 Program Co-Chairs:
* Nikolay Shilov (Innopolis University, Russia, shiloviis(at)mail.ru)
* Vladimir Zakharov (Moscow State University, Russia, zakh(at)cs.msu.su)
 
Invited Sessions and Speakers
* Session devoted to the anniversary the achievements of Professor Alexander K. Petrenko, Head of the Software Engineering Department of Institute for System Programming Russian Academy of Sciences (SED ISP RAS)
  ** Alexander K. Petrenko: The position of formal methods in nowadays software industrial development
  ** Victor V. Kuliamin: Formal Security Models
  ** Alexander S. Kamkin: High-Level Synthesis of Computing Systems: Motivation, Challenges, and Existing Solutions
  ** Alexey V. Khoroshilov: Verification of operating systems
* Host session: talks from Innopolis University
  ** Yegor Bugayenko: EOLANG and φ-calculus
  ** Nikolai D. Kudasov: Nameless and scope-safe (de Bruijn notation as a nested datatype)ms: Sound, Expressive, Fast
  ** Alexandr V. Naumchev: The Role of Formalism in System Requirements (- joint work with Jean-Michel Bruel, Sophie Ebersold, Florian Galinier,Manuel Mazzara, Bertrand Meyer)
* Partner session: talks from Laboratory of Theoretical Programming of A.P. Ershov Institute of Informatics Systems
  ** Igor S. Anureev: The Ontological Approach to Deductive Program Verification.
  ** Nataliya O. Garanina: The Optimization Problem with Model Checking
  ** Dmitry A. Kondratyev: Automatic deductive verification of C programs using the C-lightVer system
(Please refer hhttps://persons.iis.nsk.su/en/pssv21#invited for more information about invited sessions, speakers and their talks.) 
 
Submission and Publication
The submission Web page for PSSV-2021:via EasyChair (https://easychair.org/conferences/?conf=pssv2021) 
 
Program Committee solicits 
* regular research submissions in the form of an extended detailed abstract (6-8 pages in English, LNCS style recommended) 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) to be reviewed by a PC member. a PC member.
 
Right now Easy Chair submission page https://easychair.org/conferences/?conf=pssv2021 is open for regular paprs.
 
Selected revised and extended papers will be published (after the workshop) in the Modeling and Analysis of Information Systems (https://www.mais-journal.ru), a Russian peer-review journal where PSSV selected and revised papers are published since the very first edition of the workshop in 2010. (See for example Vol 27, No 4 (2020) at https://www.mais-journal.ru/jour/issue/view/124/showToc with selected and revised papers of PSSV-2020.)
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 detailed abstracts) - Sunday October 10, 2021 (extended, - no further extensions)
* short submissions (abstracts of work in progress, position papers, etc.) - start - Sunday October 10, 2021, end - Sunday October 17, 2021
* notification for ALL submissions - Sunday October 24, 2021
* workshop (hybrid) - Thursday and Friday November 4-5, 2021
* invitations of selected talks to post-proceedings - Sunday November 7, 2021
* papers for the post-proceedings - Sunday November 14, 2021
* notification for the post-proceedings papers - around the end of November, 2021