# SPIN 2026
32st International Symposium on Model Checking Software
April 15–16, 2026, co-located with ETAPS 2026 in Torino, Italy.
The 32nd International SPIN symposium on Model Checking of Software (SPIN 2026) will be held in Torino, Italy, on 15 and 16 April 2026. SPIN 2026 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 2026 will be co-located with the 29th European Joint Conferences on Theory and Practice of Software (ETAPS 2026).
News
- November 23, 2024: Website online and important dates published
- November 23, 2024: The SPIN 2026 artifact evaluation chairs will be Laura Bussi (University of Amsterdam, The Netherlands) and Nian-Ze Lee (National Taiwan University, Taiwan)
Committees
Program Chairs: Vincenzo Ciancia and Arnd Hartmanns
Artifact Evaluation Chairs: Laura Bussi and Nian-Ze Lee
Program Committee: TBA
Important Dates
| Date | Event |
|---|---|
| January 15, 2026 | Abstract submission deadline |
| January 22, 2026 | Paper submission deadline |
| January 29, 2026 | Artifact submission deadline for tool-related papers (mandatory) |
| March 5, 2026 | Notification of acceptance (all papers & tool-related artifacts) |
| March 16, 2026 | Artifact submission deadline for accepted non-tool papers (voluntary) |
| April 9, 2026 | Notification of acceptance for additional artifacts |
| April 15–16, 2026 | Symposium |
Sponsors
