SPIN 2025

32st International Symposium on Model Checking Software

April 15–16, 2026, co-located with ETAPS 2026 in Torino, Italy.

The 32st International SPIN symposium on Model Checking of Software (SPIN 2026) will be held in Torino, Italy, colocated with ETAPS 2026.

This page is under construction. For any question, please get in touch with the co-chairs: Vincenzo Ciancia, Arnd Hartmanns.

Sponsors