All conferences / SPIN
SPIN
International Symposium on Model Checking Software
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 2026 | 32 | 15–16 Apr 2026 | Turin 🇮🇹 | 22 Jan | — | — |
| 2025 | 31 | 7–8 May 2025 | Hamilton 🇨🇦 | 13 Feb | — | — |
| 2024 | 30 | 6–11 Apr 2024 | Luxembourg 🇱🇺 | 22 Jan +7 days | — | — |
| 2023 | 29 | 26–27 Apr 2023 | Paris 🇫🇷 | 16 Jan | — | — |
| 2022 | 28 | 21–22 May 2022 | Chicago 🇺🇸 | 25 Mar | — | — |
| 2021 | 27 | 12–13 Jul 2021 | Online | 20 Apr +50 days | — | — |
| 2020 | 27 | 24–25 Jul 2020 | Chicago 🇺🇸 | 17 Apr | — | — |
| 2019 | 26 | 15–19 Jul 2019 | Beijing 🇨🇳 | 5 Apr | — | — |
| 2018 | 25 | 20–22 Jun 2018 | Málaga 🇪🇸 | 3 Apr +44 days | — | — |
| 2017 | 24 | 13–14 Jul 2017 | Santa Barbara 🇺🇸 | 17 Feb +7 days | — | — |
| 2016 | 23 | 7–8 Apr 2016 | Eindhoven 🇳🇱 | 8 Jan | — | — |
| 2015 | 22 | 24–26 Aug 2015 | Stellenbosch 🇿🇦 | 4 May | — | — |
A missing year does not mean the conference did not meet: coverage before 2015 has not been verified.
How it has reviewed and published
| Practice | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Proceedings | • | • | • | • | • | • | • | • | • | • | • | • |
| Anonymity | S | S | S | |||||||||
| Artifact evaluation | • | • |
A blank cell means nobody has checked that year, not that the answer is no. Licences are read as recorded on the edition, never inherited from the publisher.
Spotted something wrong on this page? Tell us, with a source if you have one ↗