<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 class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">*******************************************************************************</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"> Call for Papers</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"> SPIN 2021</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"> International Symposium on Model Checking of Software</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"> July 14-15, 2021</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"> Aarhus, Denmark</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Conference website: <a href="https://conf.researchr.org/home/spin-2021" class="">https://conf.researchr.org/home/spin-2021</a></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Submission link: <a href="https://easychair.org/conferences/?conf=spin20210" class="">https://easychair.org/conferences/?conf=spin20210</a></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">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.</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Topics of interest include, but are not limited to:</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Formal verification techniques for automated analysis of software</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Formal analysis for modeling languages, such as UML/state charts</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Formal specification languages, temporal logic, design-by-contract</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Model checking</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Automated theorem proving, including SAT and SMT</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Verifying compilers</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Abstraction and symbolic execution techniques</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Static analysis and abstract interpretation</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Combination of verification techniques</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Modular and compositional verification techniques</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Verification of timed and probabilistic systems</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Automated testing using advanced analysis techniques</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Combination of static and dynamic analyses</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Derivation of specifications, test cases, or other useful material via formal analysis</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Case studies of interesting systems or with interesting results</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Engineering and implementation of software verification and analysis tools</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Benchmark and comparative studies for formal verification and analysis tools</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Formal methods of education and training</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Insightful surveys or historical accounts on topics of relevance to the symposium</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Relevant tools and algorithms for modern hardware, e.g.: parallel, GPU, TPU, FPGA, cloud, and quantum </div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Important Dates</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Submission: March 1, 2021</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Notification: May 14, 2021</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Camera-ready: June 1, 2021</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Conference: July 14-15, 2021</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Submission Guidelines</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">The proceedings of SPIN 2020 will be published in Springer's Lecture Notes in Computer Science series. Submissions should adhere to the LNCS format: LNCS Information for Authors</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">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:</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* <span class="Apple-tab-span" style="white-space: pre;">
</span>Full Research / Tool Papers describing fully developed work and complete results (16 pages - references are not included in this limit);</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* <span class="Apple-tab-span" style="white-space: pre;">
</span>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).</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* <span class="Apple-tab-span" style="white-space: pre;">
</span>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).</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Papers should be submitted via the EasyChair SPIN 2021 submission website: <a href="https://easychair.org/conferences/?conf=spin20210" class="">https://easychair.org/conferences/?conf=spin20210</a></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">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.</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">At least one author of each accepted paper must attend the symposium and present the paper.</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">STTT</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT).</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Program Committee Members</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Jiří Barnat, Masaryk University</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Maurice H. ter Beek, ISTI-CNR</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Tom van Dijk, University of Twente</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Vedran Dunjko, Leiden University</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Stefan Edelkamp, University of Koblenz</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Grigory Fedyukovich, Florida State University</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Henri Hansen, Tampere University of Technology</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Arnd Hartmanns, University of Twente</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Gerard Holzmann, Nimble research</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Antti Hyvärinen, Università della Svizzera italiana</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Nils Jansen, Radboud University Nijmegen</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Peter Gjøl Jensen, Aalborg University</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Sung-Shik Jongmans, Open University NL, CWI</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Jeroen Keiren, Eindhoven University of Technology</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Igor Konnov, Informal Systems Inc</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Alberto Lluch Lafuente, Technical University of Denmark</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Kuldeep S. Meel, National University of Singapore</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Alice Miller, University of Glasgow</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Sergio Mover, École Polytechnique</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Rajagopal Nagarajan, Middlesex University</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Doron Peled, Bar Ilan University</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Tatjana Petrov, University of Konstanz</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Jaco van de Pol, Aarhus University</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Stephen F. Siegel, University of Delaware</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Carsten Sinz, Karlsruhe Institute of Technology</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Jiri Srba, Aalborg University</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Michael Tautschnig, Amazon Web Services</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Yann Thierry-Mieg, Sorbonne University - LIP6</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Yakir Vizel, Technion</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Georg Weissenbacher, Vienna University of Technology</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Anton Wijs, Eindhoven University of Technology</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Organizing committee</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Alfons Laarman, Leiden University</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Ana Sokolova, University of Salzburg</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Venue</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Established in 1928, Aarhus University has since developed into a major Danish university with a strong international reputation with approximately 38,000 students and 8,000 members of staff.
Located in beautiful nature and wildlife areas, Aarhus is the second largest city of Denmark, with a rich trade and ancient Viking history.</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Contact</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">All questions about submissions should be emailed to <a href="mailto:a.w.laarman@liacs.leidenuniv.nl" class="">a.w.laarman@liacs.leidenuniv.nl</a>.</div>
</body>
</html>