<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<span class="">*******************************************************************************</span><br class="">
<br class="">
<span class=""> Call for Papers (deadline extension)</span><br class="">
<br class="">
<span class=""> SPIN 2021</span><br class="">
<br class="">
<span class=""> International Symposium on Model Checking of Software</span><br class="">
<br class="">
<span class=""> July 12-13, 2021 (UPDATED)</span><br class="">
<br class="">
<span class=""> ONLINE from Aarhus, Denmark</span><br class="">
<br class="">
<span class="">Conference website: </span><a href="https://conf.researchr.org/home/spin-2021" class="">https://conf.researchr.org/home/spin-2021</a><br class="">
<br class="">
<span class="">Submission link: </span><a href="https://easychair.org/conferences/?conf=spin20210" class="">https://easychair.org/conferences/?conf=spin20210</a><br class="">
<br class="">
<br class="">
<span class="">Important Dates</span><span class="">:</span><br class="">
<br class="">
<span class="">*** The paper submission deadline is extended to 20 April 2021 because of COVID ***</span><br class="">
<br class="">
<span class="">Submission: April 20, 2021 </span><span class="">(</span><span class="">AoE</span><span class="">)</span><br class="">
<span class="">Notification: May 20, 2021</span><br class="">
<span class="">Camera-ready: May 30, 2021</span><br class="">
<span class="">Conference: July 12-13, 2021</span><br class="">
<br class="">
<br class="">
<div class="">Scope</div>
<br class="">
<span class="">The 27th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation.
The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms (classical and quantum), tool development, including for modern hardware
(parallel and distributed), and empirical evaluation.</span><br class="">
<br class="">
<br class="">
<span class="">Invited speakers</span><br class="">
<br class="">
<div class=""> * Vincenzo Ciancia, ISTI-CNR<br class="">
</div>
<div class=""> * Mariëlle Stoelinga, Twente / Radboud University<br class="">
</div>
<div class="" style="orphans: 2; widows: 2;"> * Moshe Vardi, Rice<font size="4" class=""> </font>University</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Topics of Interest</div>
<br class="">
<span class="">Topics of interest include, but are not limited to:</span><br class="">
<span class="">* Formal verification techniques for automated analysis of software</span><br class="">
<span class="">* Formal analysis for modeling languages, such as UML/state charts</span><br class="">
<span class="">* Formal specification languages, temporal logic, design-by-contract</span><br class="">
<span class="">* Model checking</span><br class="">
<span class="">* Automated theorem proving, including SAT and SMT</span><br class="">
<span class="">* Verifying compilers</span><br class="">
<span class="">* Abstraction and symbolic execution techniques</span><br class="">
<span class="">* Static analysis and abstract interpretation</span><br class="">
<span class="">* Combination of verification techniques</span><br class="">
<span class="">* Modular and compositional verification techniques</span><br class="">
<span class="">* Verification of timed and probabilistic systems</span><br class="">
<span class="">* Automated testing using advanced analysis techniques</span><br class="">
<span class="">* Combination of static and dynamic analyses</span><br class="">
<span class="">* Derivation of specifications, test cases, or other useful material via formal analysis</span><br class="">
<span class="">* Case studies of interesting systems or with interesting results</span><br class="">
<span class="">* Engineering and implementation of software verification and analysis tools</span><br class="">
<span class="">* Benchmark and comparative studies for formal verification and analysis tools</span><br class="">
<span class="">* Formal methods of education and training</span><br class="">
<span class="">* Insightful surveys or historical accounts on topics of relevance to the symposium</span><br class="">
<span class="">* Relevant tools and algorithms for modern hardware, e.g.: parallel, GPU, TPU, FPGA, cloud, and quantum</span><br class="">
<br class="">
<br class="">
<span class="">Submission Guidelines</span><br class="">
<br class="">
<span class="">The proceedings of SPIN 2021 will be published in Springer's Lecture Notes in Computer Science series. Submissions should adhere to the LNCS format: LNCS Information for Authors</span><br class="">
<br class="">
<span class="">With the exception of survey and history papers, the papers should contain original work that has not been submitted or accepted for publication elsewhere. We are soliciting three categories of papers:</span><br class="">
<br class="">
<span class="">* Full Research / Tool Papers describing fully developed work and complete results (16 pages - references are not included in this limit);</span><br class="">
<span class="">* Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages - references are not included in this limit).</span><br class="">
<span class="">* Tool Demo Papers presenting the foundations, capabilities, application domains and relevant examples using the tools, with a clear description of what is expected to be shown in a live demonstration (4 pages to describe the tool foundations,
features and use examples, plus an appendix explaining the content of the demo).</span><br class="">
<span class="">Papers should be submitted via the EasyChair SPIN 2021 submission website:</span></div>
<div dir="auto" class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<a href="https://easychair.org/conferences/?conf=spin20210" class="">https://easychair.org/conferences/?conf=spin20210</a><br class="">
<span class="">All papers that conform to submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, the importance of contribution, soundness, evaluation, quality of presentation,
and appropriate comparison to related work.</span><br class="">
<br class="">
<span class="">At least one author of each accepted paper must attend the symposium and present the paper.</span><br class="">
<br class="">
<br class="">
<span class="">STTT</span><br class="">
<br class="">
<span class="">A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT).</span><br class="">
<br class="">
<br class="">
<span class="">Program Committee Members</span><br class="">
<br class="">
<span class="">Jiří Barnat, Masaryk University</span><br class="">
<span class="">Maurice H. ter Beek, ISTI-CNR</span><br class="">
<span class="">Tom van Dijk, University of Twente</span><br class="">
<span class="">Vedran Dunjko, Leiden University</span><br class="">
<span class="">Stefan Edelkamp, University of Koblenz</span><br class="">
<span class="">Grigory Fedyukovich, Florida State University</span><br class="">
<span class="">Henri Hansen, Tampere University of Technology</span><br class="">
<span class="">Arnd Hartmanns, University of Twente</span><br class="">
<span class="">Gerard Holzmann, Nimble research</span><br class="">
<span class="">Antti Hyvärinen, Università della Svizzera italiana</span><br class="">
<span class="">Nils Jansen, Radboud University Nijmegen</span><br class="">
<span class="">Peter Gjøl Jensen, Aalborg University</span><br class="">
<span class="">Sung-Shik Jongmans, Open University NL, CWI</span><br class="">
<span class="">Jeroen Keiren, Eindhoven University of Technology</span><br class="">
<span class="">Igor Konnov, Informal Systems Inc</span><br class="">
<span class="">Alberto Lluch Lafuente, Technical University of Denmark</span><br class="">
<span class="">Kuldeep S. Meel, National University of Singapore</span><br class="">
<span class="">Alice Miller, University of Glasgow</span><br class="">
<span class="">Sergio Mover, École Polytechnique</span><br class="">
<span class="">Rajagopal Nagarajan, Middlesex University</span><br class="">
<span class="">Doron Peled, Bar Ilan University</span><br class="">
<span class="">Tatjana Petrov, University of Konstanz</span><br class="">
<span class="">Jaco van de Pol, Aarhus University</span><br class="">
<span class="">Stephen F. Siegel, University of Delaware</span><br class="">
<span class="">Carsten Sinz, Karlsruhe Institute of Technology</span><br class="">
<span class="">Jiří Srba, Aalborg University</span><br class="">
<span class="">Michael Tautschnig, Amazon Web Services</span><br class="">
<span class="">Yann Thierry-Mieg, Sorbonne University - LIP6</span><br class="">
<span class="">Yakir Vizel, Technion</span><br class="">
<span class="">Georg Weissenbacher, Vienna University of Technology</span><br class="">
<span class="">Anton Wijs, Eindhoven University of Technology</span><br class="">
<br class="">
<br class="">
<span class="">Organizing committee</span><br class="">
<br class="">
<span class="">Alfons Laarman, Leiden University</span><br class="">
<span class="">Ana Sokolova, University of Salzburg</span></div>
</body>
</html>