<HTML><BODY><div>Second call for submissions (and deadline extension) - PSSV-2021: Workshop Program Semantics, Specification and Verification (hybrid format)</div><div><div class="js-helper js-readmsg-msg"><div><div id="style_16327529580776002054_BODY"><div class="cl_783227"><div><div class="js-helper_mr_css_attr js-readmsg-msg_mr_css_attr"><div><div id="style_16327528891587529031_BODY_mr_css_attr"><div class="cl_772839_mr_css_attr"><div><div> </div><div>PSSV-2021: XII Workshop Program Semantics, Specification and Verification (Theory and Applications) <br>is planned to be held in hybrid mode online (using Zoom) <br>and offline (at Innopolis University, <a href="https://urldefense.com/v3/__https://innopolis.university/en/__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e52hmtpbCg$" target="_blank">https://innopolis.university/en/</a>)<br>on Thursday and Friday November 4-5, 2021</div><div> </div><div>PSSV-2021 workshop' page: <a href="https://urldefense.com/v3/__https://persons.iis.nsk.su/en/pssv21__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e52SXjMLqg$" target="_blank">https://persons.iis.nsk.su/en/pssv21</a></div><div> </div><div>PSSV Scope and Topics<br>Research, work in progress, position and student papers were welcome. List of topics of interest includes (but is not limited to):<br>* formalisms for program semantics<br>* formal models and semantics of programs and systems<br>* semantics of programming and specification languages<br>* formal description techniques<br>* logics for formal specification and verification<br>* deductive program verification<br>* automatic theorem proving<br>* model checking of programs and systems<br>* static analysis of programs<br>* formal approach to testing and validation<br>* program analysis and verification tools</div><div> </div><div>PSSV-2021 Program Committee:<br>* Thomas Baar (University of Applied Sciences HTW Berlin, Germany)<br>* Alexander Bolotov (University of Westminster, UK)<br>* Vladimir Itsykson (St. Petersburg State Polytech. University, Russia)<br>* Andrei Klimov (Keldysh Institute of Applied Mathematics, Moscow, Russia)<br>* Igor Konnov (Informal Systems, Austria)<br>* Victor Kuliamin (Institute for System Programming, Moscow, Russia)<br>* Alexei Lisitsa (University of Liverpool, UK)<br>* Irina Lomazova (Higher School of Economics, Moscow, Russia)<br>* Manuel Mazzara (Innopolis University, Russia)<br>* Dmitry Mordvinov (St. Petersburg State University and JetBrains Research, Russia)<br>* Sergey Staroletov (Polzunov Altai State Technical University, Barnaul, Russia),<br>* Nina Yevtushenko (Tomsk State University and Institute for System Programming, RAS, Moscow, Russia).</div><div> </div><div>PSSV-2021 Program Co-Chairs:<br>* Nikolay Shilov (Innopolis University, Russia, shiloviis(at)mail.ru)<br>* Vladimir Zakharov (Moscow State University, Russia, zakh(at)cs.msu.su)</div><div> </div><div>Invited Sessions and Speakers<br>* 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)<br> ** Alexander K. Petrenko: The position of formal methods in nowadays software industrial development<br> ** Victor V. Kuliamin: Formal Security Models<br> ** Alexander S. Kamkin: High-Level Synthesis of Computing Systems: Motivation, Challenges, and Existing Solutions<br> ** Alexey V. Khoroshilov: Verification of operating systems<br>* Host session: talks from Innopolis University<br> ** Yegor Bugayenko: EOLANG and φ-calculus<br> ** Nikolai D. Kudasov: Nameless and scope-safe (de Bruijn notation as a nested datatype)ms: Sound, Expressive, Fast<br> ** Alexandr V. Naumchev: The Role of Formalism in System Requirements (- joint work with Jean-Michel Bruel, Sophie Ebersold, Florian Galinier,Manuel Mazzara, Bertrand Meyer)<br>* Partner session: talks from Laboratory of Theoretical Programming of A.P. Ershov Institute of Informatics Systems<br> ** Igor S. Anureev: The Ontological Approach to Deductive Program Verification.<br> ** Nataliya O. Garanina: The Optimization Problem with Model Checking<br> ** Dmitry A. Kondratyev: Automatic deductive verification of C programs using the C-lightVer system<br>(Please refer h<a href="https://urldefense.com/v3/__https://persons.iis.nsk.su/en/pssv21*invited__;Iw!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e52osBV4DQ$" target="_blank">https://persons.iis.nsk.su/en/pssv21#invited</a> for more information about invited sessions, speakers and their talks.) </div><div> </div><div>Submission and Publication<br>The submission Web page for PSSV-2021:via EasyChair (<a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=pssv2021__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e53klVDJjg$" target="_blank">https://easychair.org/conferences/?conf=pssv2021</a>)</div><div> </div><div>Program Committee solicits <br>* 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;<br>* 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.</div><div> </div><div>Right now Easy Chair submission page <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=pssv2021__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e53klVDJjg$" target="_blank">https://easychair.org/conferences/?conf=pssv2021</a> is open for regular papers.</div><div> </div><div>Selected revised and extended papers will be published (after the workshop) in the Modeling and Analysis of Information Systems (<a href="https://urldefense.com/v3/__https://www.mais-journal.ru__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e52pgmOHhQ$" target="_blank">https://www.mais-journal.ru</a>), 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 <a href="https://urldefense.com/v3/__https://www.mais-journal.ru/jour/issue/view/124/showToc__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e53XYBe1rg$" target="_blank">https://www.mais-journal.ru/jour/issue/view/124/showToc</a> with selected and revised papers of PSSV-2020.)<br>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(<a href="https://urldefense.com/v3/__http://www.springer.com/computer/hardware/journal/11950__;!!IBzWLUs!G6_ars4TeZ1F6IxVJzpA36mgjfCiT8KBHDMiB0XsbhUoQLrsO2VYj9_tP9QOoECVleO3e50pa--HXg$" target="_blank">http://www.springer.com/computer/hardware/journal/11950</a>) (indexed by WoS and Scopus).</div><div> </div><div>Important dates:<br>* regular research submissions (extended detailed abstracts) - Sunday October 10, 2021 (extended, - no further extensions)<br>* short submissions (abstracts of work in progress, position papers, etc.) - start - Sunday October 10, 2021, end - Sunday October 17, 2021<br>* notification for ALL submissions - Sunday October 24, 2021<br>* workshop (hybrid) - Thursday and Friday November 4-5, 2021<br>* invitations of selected talks to post-proceedings - Sunday November 7, 2021<br>* papers for the post-proceedings - Sunday November 14, 2021<br>* notification for the post-proceedings papers - around the end of November, 2021</div></div></div></div></div></div></div></div></div></div></div></div></BODY></HTML>