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 colocated with the 28th European Joint Conferences on Theory and Practice of Software (ETAPS 2025).
News
- October 21, 2025: Important dates are published.
- September 30, 2025: Preliminary Website online.
Important dates
| date | |
|---|---|
| Submission deadline | 13 February 2025 |
| Notification | 24 March 2025 |
| Final version | 10 April 2025 |
| Symposium | 7-8 May 2025 |
The submission and final version deadlines are Anywhere on Earth as usual.
Papers accepted at SPIN 2025 will be published as part of post-conference proceedings.
Sponsors
