<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">*******************************************************************************</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""> Call for Papers</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""> SPIN 2021</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""> International Symposium on Model Checking of Software</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""> July 14-15, 2021</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""> Aarhus, Denmark</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Conference website: <a href="https://conf.researchr.org/home/spin-2021" class="">https://conf.researchr.org/home/spin-2021</a></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Submission link: <a href="https://easychair.org/conferences/?conf=spin20210" class="">https://easychair.org/conferences/?conf=spin20210</a></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" 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.</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Topics of interest include, but are not limited to:</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Formal verification techniques for automated analysis of software</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Formal analysis for modeling languages, such as UML/state charts</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Formal specification languages, temporal logic, design-by-contract</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Model checking</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Automated theorem proving, including SAT and SMT</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Verifying compilers</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Abstraction and symbolic execution techniques</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Static analysis and abstract interpretation</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Combination of verification techniques</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Modular and compositional verification techniques</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Verification of timed and probabilistic systems</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Automated testing using advanced analysis techniques</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Combination of static and dynamic analyses</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Derivation of specifications, test cases, or other useful material via formal analysis</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Case studies of interesting systems or with interesting results</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Engineering and implementation of software verification and analysis tools</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Benchmark and comparative studies for formal verification and analysis tools</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Formal methods of education and training</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Insightful surveys or historical accounts on topics of relevance to the symposium</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* Relevant tools and algorithms for modern hardware, e.g.: parallel, GPU, TPU, FPGA, cloud, and quantum </div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Important Dates</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Submission: March 1, 2021</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Notification: May 14, 2021</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Camera-ready: June 1, 2021</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Conference: July 14-15, 2021</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Submission Guidelines</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">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 style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" 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:</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* <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 style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* <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 style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">* <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 style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">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 style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" 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.</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">At least one author of each accepted paper must attend the symposium and present the paper.</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">STTT</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT).</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Program Committee Members</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Jiri Barnat, Masaryk University</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Maurice H. ter Beek, ISTI-CNR</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Tom van Dijk, University of Twente</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Vedran Dunjko, Leiden University</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Stefan Edelkamp, University of Koblenz</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Grigory Fedyukovich, Princeton University</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Patrice Godefroid, Microsoft Research</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Henri Hansen, Tampere University of Technology</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Arnd Hartmanns, University of Twente</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Gerard Holzmann, Nimble research</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Antti Hyvarinen, Universia della Svizzera italiana</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Nils Jansen, Radboud University</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Peter Gjol Jensen, Aalborg Univesity</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Sung-Shik Jongmans, Open University, CWI</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Jeroen Keiren, Eindhoven University of Technology</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Igor Konnov, Informal Systems Inc</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Alberto Lluch Lafuente, Technical University of Denmark</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Kuldeep Meel, National University of Singapore</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Alica Miller, University of Glascow</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Sergio Mover, Ecole Polytechnique</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Rajagopal Nagarajan, The University of Warwick</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Doron Peled, Bar Ilan University</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Tatjana Petrov, University of Konstanz</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Jaco van de Pol, Aarhus University</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Stephen Siegel, University of Delaware</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Carsten Sinz, Karlsruhe Institute of Technology</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Jiri Srba, Aalborg University</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Michael Tautschnig, Amazon Web Services</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Yann Thierry-Mieg, Sorbonne University - LIP6</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Yakir Vizel, Technion</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Georg Weissenbacher, Vienna University of Technology</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Anton Wijs, Eindhoven University of Technology</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Organizing committee</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Alfons Laarman, Leiden University</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Ana Sokolova, University of Salzburg</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Venue</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">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 style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Contact</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">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>
</div>
</body>
</html>