会议系列
SPIN: International SPIN Symposium on Model Checking of Software
会伴收录的本会议历届信息，最近一届在前。
| 年份 | 会议日期 | 会议地点 | 截稿日期 | 通知日期 |
|---|---|---|---|---|
| 2027 当前届 | 2027-04-14 | Copenhagen, Denmark | 2027-01-21 | — |
| 2026 | 2026-04-15 | Torino, Italy | 2026-01-15 | 2026-03-05 |
会伴收录的本会议历届信息，最近一届在前。
| 年份 | 会议日期 | 会议地点 | 截稿日期 | 通知日期 |
|---|---|---|---|---|
| 2027 当前届 | 2027-04-14 | Copenhagen, Denmark | 2027-01-21 | — |
| 2026 | 2026-04-15 | Torino, Italy | 2026-01-15 | 2026-03-05 |