# SPIN 2026

32nd 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

January 15, 2026: The abstract and paper submission deadlines have been extended by one week.

• November 23, 2025: Website online and important dates published
• November 23, 2025: The SPIN 2026 artifact evaluation chairs will be Laura Bussi (University of Amsterdam, The Netherlands) and Nian-Ze Lee (National Taiwan University, Taiwan)
• December 2, 2025: Springer LNCS will publish the proceedings of SPIN 2026
• December 15, 2025: Program Committee has been announced

Committees

Program Chairs: Vincenzo Ciancia and Arnd Hartmanns

Artifact Evaluation Chairs: Laura Bussi and Nian-Ze Lee

Program Committee:

See the Committees page for the full list of Program Committee members.P

Important Dates

All deadlines are AoE (anywhere on Earth).

Sponsors