Spinroot
A forum for Spin users
You are not logged in.
- Topics: Active | Unanswered
Pages: 1
#1 2024-11-30 22:15:49
Spin 2025 Symposium (Canada)
https://spin-web.github.io/SPIN2025
The 31st International Symposium on Model Checking Software will be held May 7-8 2025 in Hamilton, Canada, co-located with ETAPS-2025. The Symposium is organized by Kristin Yvonne Rozier and Gidon Ernst.
Offline
Pages: 1