SPIN

International Symposium on Model Checking Software

Editions listed12 Covered2015–2026 Rank nowCORE absent

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2026	32	15–16 Apr 2026	Torino 🇮🇹	22 Jan	—	—
2025	31	7–8 May 2025	Hamilton 🇨🇦	13 Feb	—	—
2024	30	6–11 Apr 2024	Luxembourg City 🇱🇺	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.

CORE rank over time

absent 2015–

Only the current rank is recorded; earlier rounds have not been checked.

Deadline habits

Extended: 4 of 4 editions
Typical: 7–50 days
Longest: 50 days
Not known: 8 editions

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

DBLP: spin ↗
Calendar: Subscribe to SPIN
Data: All editions as JSON

Notes carried over

Extensions: 1 week in 2013, none in 2014, 11 days in 2015, 7 days in 2017, 8+34 days in 2018, 51 days in 2021, 7 days (2024)

Kept verbatim from the old site while it is being turned into structured data.

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.