Write a Blog >>
SPIN 2021
Wed 14 - Thu 15 July 2021 Aarhus, Denmark
co-located with ECOOP and ISSTA 2021
Conference Editions
Wed 14 - Thu 15 July 2021 Aarhus, Denmark

SPIN 2021 with ECOOP and ISSTA 2021

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, n ...

Mon 15 - Fri 19 July 2019 Beijing, China

SPIN 2019 with ISSTA 2019

SPIN 2019 26th International Symposium on Model Checking of Software Beijing, China, July 15-19, 2019 https://conf.researchr.org/home/spin-2019 Co-located with ISSTA 2019 The 26th 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 va ...

Thu 13 - Fri 14 July 2017 Santa Barbara, California, United States

SPIN 2017 with ISSTA 2017

Thank you all for a successful event! See you in Malaga, Spain, in 2018! SPIN 2017 Best Papers Congratulations to best paper award authors! Best Paper Award Distributed Binary Decision Diagrams for Symbolic Reachability by Wytse Oortwijn, Tom van Dijk and Jaco van de Pol Best Short Paper Award SIMPAL: A Compositional Reasoning Framework for Imperative Programs by Lucas Wagner, David Greve and Andrew Ga ...