SPIN 2025
31st International Symposium on Model Checking Software
7-8 May 2025, co-located with ETAPS 2025 in Hamilton, Canada.
The 31st International SPIN symposium on Model Checking of Software (SPIN 2025) will be held in Hamilton, Canada, on 7 and 8 May 2025. SPIN 2025 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 2025 will be co-located with the 28th European Joint Conferences on Theory and Practice of Software (ETAPS 2025).
News
- November 25, 2024: (Self-)Nominations for artifact-evaluation members welcome! (via emails to AE chairs)
- October 24, 2024: Invited speakers announced: Orna Grumberg and Alexandre Duret-Lutz
- October 21, 2024: Important dates are published.
- September 30, 2024: Preliminary website online.
Important dates
| February 13, 2025 | Paper submission deadline |
| February 27, 2025 | Artifact submission deadline for tool papers (mandatory) |
| March 24, 2025 | Notification of acceptance (all papers & tool-paper artifacts) |
| April 7, 2025 | Artifact submission deadline for accepted non-tool papers (optional) |
| May 1, 2025 | Notification of acceptance for additional artifacts |
| May 7-8, 2025 | Symposium |
The times are Anywhere on Earth as usual.
Papers accepted at SPIN 2025 will be published as part of post-conference proceedings. The deadline for the submission of the final version will be communicated in time.
Sponsors
