[TYPES/announce] 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://urldefense.com/v3/__https://innopolis.university/en/__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e52hmtpbCg$  )
on Thursday and Friday November 4-5, 2021
 
PSSV-2021 workshop' page:  https://urldefense.com/v3/__https://persons.iis.nsk.su/en/pssv21__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e52SXjMLqg$ 
 
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 h https://urldefense.com/v3/__https://persons.iis.nsk.su/en/pssv21*invited__;Iw!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e52osBV4DQ$  for more information about invited sessions, speakers and their talks.) 
 
Submission and Publication
The submission Web page for PSSV-2021:via EasyChair ( https://urldefense.com/v3/__https://easychair.org/conferences/?conf=pssv2021__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e53klVDJjg$  )
 
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://urldefense.com/v3/__https://easychair.org/conferences/?conf=pssv2021__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e53klVDJjg$  is open for regular papers.
 
Selected revised and extended papers will be published (after the workshop) in the Modeling and Analysis of Information Systems ( https://urldefense.com/v3/__https://www.mais-journal.ru__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e52pgmOHhQ$  ), 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://urldefense.com/v3/__https://www.mais-journal.ru/jour/issue/view/124/showToc__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e53XYBe1rg$  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( https://urldefense.com/v3/__http://www.springer.com/computer/hardware/journal/11950__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e50pa--HXg$  ) (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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210927/4f585fb1/attachment-0001.htm>