SPIN 2024
30th International Symposium on Model Checking Software
10-11 April 2024, co-located with ETAPS 2024 in Luxembourg City, Luxembourg
The 30th International SPIN symposium on Model Checking of Software (SPIN 2024) will be held in Luxembourg on 10 and 11 April 2023. SPIN 2024 is the latest in a successful series of workshops and symposia for practitioners and researchers interested in symbolic and state space-based techniques for the validation and analysis of software systems. Techniques and empirical evaluations based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, or techniques based on the combination of explicit representations with other representations, are the focus of this symposium.
SPIN 2024 will be colocated with the 27th European Joint Conferences on Theory and Practice of Software (ETAPS 2024).
News
- The SPIN 2024 best paper award was won by the paper Augmenting Interpolation-Based Model Checking with Auxiliary Invariants by Dirk Beyer, Po-Chun Chien and Nian-Ze Lee. Congratulations to the authors!
- The program, including informal pre-proceedings, is available on the website here
- The submission deadline has been extended by one week to 22 Jan 2024 (AoE). Papers can be submitted via the SPIN 2024 Easychair page.
Important dates
| date | |
|---|---|
| Submission deadline | |
| Notification | 26 Feb 2024 |
| Final version | |
| Symposium | 10-11 Apr 2024 |
Sponsors
