3-4 Nov 2020
Call for short submissions (abstracts of work in progress, position papers and posters) - PSSV-2020: XI Workshop Program Semantics, Specification and Verification (Theory and Applications) will be held ONLINE November 3-4, 2020. PSSV-2020 workshop' page: https://persons.iis.nsk.su/en/pssv2020 PSSV-2020 Program Committee solicits work in progress, position, poster and student papers (up to 4 pages), each of these submissions will be reviewed by a PC member. Submission server (https://easychair.org/conferences/?conf=pssv2020) for abstracts of work in progress, position papers and posters will be open October 12-19, 2020. 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-2020 Program Committee: * Natasha Alechina (Utrecht University, Netherlands), * Alexander Bolotov (University of Westminster, UK), * Vladimir Itsykson (St. Petersburg State Polytech. University, Russia), * Igor Konnov (INRIA Nancy & LORIA, France, to be confirmed), * 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). PSSV-2020 Program Co-Chairs: * Nikolay Shilov (Innopolis University, Russia, shiloviis(at)mail.ru) * Vladimir Zakharov (Moscow State University, Russia, zakh(at)cs.msu.su) PSSV 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) PSSV-2020 Local Organizing Committee (Higher School of Economics - National Research University) * Irina Lomazova (ilomazova(at)hse.ru) * Vladimir Zakharov (zakh(at)cs.msu.su) Invited Speakers and Talks * 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. * Ekaterina Komendantskaya (School of Mathematical and Computer Sciences, Heriot-Watt University Edinburgh, UK): Refinement types for Verification of Neural Networks. * Samvel K. Shoukourian (IT Educational and Research Center, Yerevan State University, Armenia): Polynomial algorithm for equivalence problem of deterministic multitape finite automata. * Ilya Sergey (Yale-NUS College and National University of Singapore): Deductive Synthesis of Heap-Manipulating Programs: Sound, Expressive, Fast. (Please refer https://persons.iis.nsk.su/en/pssv2020 for more information about speakers and abstracts.) In addition to academic invited talks (already announced on this page), there will be one invited industrial talk from Leading Research Center for Blockchain Technology of Innopolis University, which will be presented by Leonid Merkin. PSSV-2020 will host a panel discussion on (experimental and industrial) contemporary programming languages. Andrey Breslav (JetBrains), Aleksei Nedoria (Huawei), Antony Polukhin (Yandex), Alexey Nezvanov (The Hight School of Economics) and Evgene Zouev, Alexey Kanatov and Nikolai Kudasov (Innopolis University) have confirmed their participation as panelists. All accepted papers will be published before the workshop (format and venue TBD) Selected revised and extended papers have been published after the workshop in Russian peer-review journal Modeling and Analysis of Information Systems (https://www.mais-journal.ru). 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). Forthcoming important dates: * short submissions (abstracts of work in progress, position papers and posters) - October 12(start)-19(end), 2020; * notification for ALL submissions - October 26, 2020; * final versions of regular research submissions (for pre-proceedings) - October 31, 2020; * worksop - November 3-4, 2020; * invitations of selected talks to post proceedings - November 5, 2020; * papers for the post-proceeding - November 15, 2020; * notification for the post-proceedings papers - soon after November 15, 2020. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam