BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:SPIN — deadlines and dates
X-WR-CALDESC:Every recorded edition of SPIN. https://www.conferences-comput
 er.science/spin/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:spin-2015-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150417
DTEND;VALUE=DATE:20150418
SUMMARY:SPIN 2015 — abstract deadline
DESCRIPTION:22nd International Symposium on Model Checking of Software\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Stellenbosch\, South Afr
 ica.\nConference dates: 24–26 Aug 2015.\nhttps://www.conferences-compute
 r.science/spin/2015/
URL:https://www.conferences-computer.science/spin/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2015-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150504
DTEND;VALUE=DATE:20150505
SUMMARY:SPIN 2015 — paper deadline
DESCRIPTION:22nd International Symposium on Model Checking of Software\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Stellenbosch\, South Afr
 ica.\nConference dates: 24–26 Aug 2015.\nhttps://www.conferences-compute
 r.science/spin/2015/
URL:https://www.conferences-computer.science/spin/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2015-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150615
DTEND;VALUE=DATE:20150616
SUMMARY:SPIN 2015 — notification
DESCRIPTION:22nd International Symposium on Model Checking of Software\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Stellenbosch\, South Afr
 ica.\nConference dates: 24–26 Aug 2015.\nhttps://www.conferences-compute
 r.science/spin/2015/
URL:https://www.conferences-computer.science/spin/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2016-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160108
DTEND;VALUE=DATE:20160109
SUMMARY:SPIN 2016 — paper deadline
DESCRIPTION:23rd International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nHeld in Eindhoven\, The Net
 herlands.\nConference dates: 7–8 Apr 2016.\nhttps://www.conferences-comp
 uter.science/spin/2016/
URL:https://www.conferences-computer.science/spin/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2016-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160212
DTEND;VALUE=DATE:20160213
SUMMARY:SPIN 2016 — notification
DESCRIPTION:23rd International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nHeld in Eindhoven\, The Net
 herlands.\nConference dates: 7–8 Apr 2016.\nhttps://www.conferences-comp
 uter.science/spin/2016/
URL:https://www.conferences-computer.science/spin/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2017-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170217
DTEND;VALUE=DATE:20170218
SUMMARY:SPIN 2017 — paper deadline
DESCRIPTION:24th International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nExtended from 10 February 2
 017.\nHeld in Santa Barbara\, CA\, USA.\nConference dates: 13–14 Jul 201
 7.\nhttps://www.conferences-computer.science/spin/2017/
URL:https://www.conferences-computer.science/spin/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2017-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170415
DTEND;VALUE=DATE:20170416
SUMMARY:SPIN 2017 — notification
DESCRIPTION:24th International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nHeld in Santa Barbara\, CA\
 , USA.\nConference dates: 13–14 Jul 2017.\nhttps://www.conferences-compu
 ter.science/spin/2017/
URL:https://www.conferences-computer.science/spin/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2018-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180403
DTEND;VALUE=DATE:20180404
SUMMARY:SPIN 2018 — paper deadline
DESCRIPTION:25th International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nExtended from 18 February 2
 018.\nHeld in Málaga\, Spain.\nConference dates: 20–22 Jun 2018.\nhttps
 ://www.conferences-computer.science/spin/2018/
URL:https://www.conferences-computer.science/spin/2018/
SEQUENCE:2
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2018-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180425
DTEND;VALUE=DATE:20180426
SUMMARY:SPIN 2018 — notification
DESCRIPTION:25th International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nExtended from 13 April 2018
 .\nHeld in Málaga\, Spain.\nConference dates: 20–22 Jun 2018.\nhttps://
 www.conferences-computer.science/spin/2018/
URL:https://www.conferences-computer.science/spin/2018/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2019-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190405
DTEND;VALUE=DATE:20190406
SUMMARY:SPIN 2019 — paper deadline
DESCRIPTION:26th International SPIN Symposium on Model Checking of Software
 \nDeadline stated in AoE.\nShown as an all-day event: the deadline is a mo
 ment\, not a day\, so check the exact time on the conference site.\nHeld i
 n Beijing\, China.\nConference dates: 15–19 Jul 2019.\nhttps://www.confe
 rences-computer.science/spin/2019/
URL:https://www.conferences-computer.science/spin/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2019-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190427
DTEND;VALUE=DATE:20190428
SUMMARY:SPIN 2019 — notification
DESCRIPTION:26th International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nHeld in Beijing\, China.\nC
 onference dates: 15–19 Jul 2019.\nhttps://www.conferences-computer.scien
 ce/spin/2019/
URL:https://www.conferences-computer.science/spin/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2020-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200417
DTEND;VALUE=DATE:20200418
SUMMARY:SPIN 2020 — paper deadline
DESCRIPTION:27th International SPIN Symposium on Model Checking of Software
 \nDeadline stated in AoE.\nShown as an all-day event: the deadline is a mo
 ment\, not a day\, so check the exact time on the conference site.\nHeld i
 n Chicago\, Illinois\, USA.\nConference dates: 24–25 Jul 2020.\nhttps://
 www.conferences-computer.science/spin/2020/
URL:https://www.conferences-computer.science/spin/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2020-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200522
DTEND;VALUE=DATE:20200523
SUMMARY:SPIN 2020 — notification
DESCRIPTION:27th International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nHeld in Chicago\, Illinois\
 , USA.\nConference dates: 24–25 Jul 2020.\nhttps://www.conferences-compu
 ter.science/spin/2020/
URL:https://www.conferences-computer.science/spin/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2021-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210420
DTEND;VALUE=DATE:20210421
SUMMARY:SPIN 2021 — paper deadline
DESCRIPTION:27th International SPIN Symposium on Model Checking of Software
 \nDeadline stated in AoE.\nShown as an all-day event: the deadline is a mo
 ment\, not a day\, so check the exact time on the conference site.\nExtend
 ed from 01 March 2021.\nHeld in Online.\nConference dates: 12–13 Jul 202
 1.\nhttps://www.conferences-computer.science/spin/2021/
URL:https://www.conferences-computer.science/spin/2021/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2021-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210520
DTEND;VALUE=DATE:20210521
SUMMARY:SPIN 2021 — notification
DESCRIPTION:27th International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nExtended from 14 May 2021.\
 nHeld in Online.\nConference dates: 12–13 Jul 2021.\nhttps://www.confere
 nces-computer.science/spin/2021/
URL:https://www.conferences-computer.science/spin/2021/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2022-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220325
DTEND;VALUE=DATE:20220326
SUMMARY:SPIN 2022 — paper deadline
DESCRIPTION:28th International SPIN Symposium on Model Checking of Software
 \nDeadline stated in AoE.\nShown as an all-day event: the deadline is a mo
 ment\, not a day\, so check the exact time on the conference site.\nHeld i
 n Chicago\, Illinois\, USA.\nConference dates: 21–22 May 2022.\nhttps://
 www.conferences-computer.science/spin/2022/
URL:https://www.conferences-computer.science/spin/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2022-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220429
DTEND;VALUE=DATE:20220430
SUMMARY:SPIN 2022 — notification
DESCRIPTION:28th International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nHeld in Chicago\, Illinois\
 , USA.\nConference dates: 21–22 May 2022.\nhttps://www.conferences-compu
 ter.science/spin/2022/
URL:https://www.conferences-computer.science/spin/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2023-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230109
DTEND;VALUE=DATE:20230110
SUMMARY:SPIN 2023 — abstract deadline
DESCRIPTION:29th International SPIN Symposium on Model Checking of Software
 \nDeadline stated in AoE.\nShown as an all-day event: the deadline is a mo
 ment\, not a day\, so check the exact time on the conference site.\nHeld i
 n Paris\, France.\nConference dates: 26–27 Apr 2023.\nhttps://www.confer
 ences-computer.science/spin/2023/
URL:https://www.conferences-computer.science/spin/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2023-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230116
DTEND;VALUE=DATE:20230117
SUMMARY:SPIN 2023 — paper deadline
DESCRIPTION:29th International SPIN Symposium on Model Checking of Software
 \nDeadline stated in AoE.\nShown as an all-day event: the deadline is a mo
 ment\, not a day\, so check the exact time on the conference site.\nHeld i
 n Paris\, France.\nConference dates: 26–27 Apr 2023.\nhttps://www.confer
 ences-computer.science/spin/2023/
URL:https://www.conferences-computer.science/spin/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2023-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230216
DTEND;VALUE=DATE:20230217
SUMMARY:SPIN 2023 — notification
DESCRIPTION:29th International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nHeld in Paris\, France.\nCo
 nference dates: 26–27 Apr 2023.\nhttps://www.conferences-computer.scienc
 e/spin/2023/
URL:https://www.conferences-computer.science/spin/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2024-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240115
DTEND;VALUE=DATE:20240116
SUMMARY:SPIN 2024 — abstract deadline
DESCRIPTION:30th International SPIN Symposium on Model Checking of Software
 \nDeadline stated in AoE.\nShown as an all-day event: the deadline is a mo
 ment\, not a day\, so check the exact time on the conference site.\nHeld i
 n Luxembourg City\, Luxembourg.\nConference dates: 6–11 Apr 2024.\nhttps
 ://www.conferences-computer.science/spin/2024/
URL:https://www.conferences-computer.science/spin/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2024-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240122
DTEND;VALUE=DATE:20240123
SUMMARY:SPIN 2024 — paper deadline
DESCRIPTION:30th International SPIN Symposium on Model Checking of Software
 \nDeadline stated in AoE.\nShown as an all-day event: the deadline is a mo
 ment\, not a day\, so check the exact time on the conference site.\nExtend
 ed from 15 January 2024.\nHeld in Luxembourg City\, Luxembourg.\nConferenc
 e dates: 6–11 Apr 2024.\nhttps://www.conferences-computer.science/spin/2
 024/
URL:https://www.conferences-computer.science/spin/2024/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2024-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240226
DTEND;VALUE=DATE:20240227
SUMMARY:SPIN 2024 — notification
DESCRIPTION:30th International SPIN Symposium on Model Checking of Software
 \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea
 rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so
  check the exact time on the conference site.\nHeld in Luxembourg City\, L
 uxembourg.\nConference dates: 6–11 Apr 2024.\nhttps://www.conferences-co
 mputer.science/spin/2024/
URL:https://www.conferences-computer.science/spin/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2025-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250213
DTEND;VALUE=DATE:20250214
SUMMARY:SPIN 2025 — abstract deadline
DESCRIPTION:31st International Symposium on Model Checking Software\nDeadli
 ne stated in AoE.\nShown as an all-day event: the deadline is a moment\, n
 ot a day\, so check the exact time on the conference site.\nHeld in Hamilt
 on\, Canada.\nConference dates: 7–8 May 2025.\nhttps://www.conferences-c
 omputer.science/spin/2025/
URL:https://www.conferences-computer.science/spin/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2025-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250213
DTEND;VALUE=DATE:20250214
SUMMARY:SPIN 2025 — paper deadline
DESCRIPTION:31st International Symposium on Model Checking Software\nDeadli
 ne stated in AoE.\nShown as an all-day event: the deadline is a moment\, n
 ot a day\, so check the exact time on the conference site.\nHeld in Hamilt
 on\, Canada.\nConference dates: 7–8 May 2025.\nhttps://www.conferences-c
 omputer.science/spin/2025/
URL:https://www.conferences-computer.science/spin/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2025-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250324
DTEND;VALUE=DATE:20250325
SUMMARY:SPIN 2025 — notification
DESCRIPTION:31st International Symposium on Model Checking Software\nNo tim
 e zone stated by the organisers\; this site assumes Anywhere on Earth.\nSh
 own as an all-day event: the deadline is a moment\, not a day\, so check t
 he exact time on the conference site.\nHeld in Hamilton\, Canada.\nConfere
 nce dates: 7–8 May 2025.\nhttps://www.conferences-computer.science/spin/
 2025/
URL:https://www.conferences-computer.science/spin/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2026-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260115
DTEND;VALUE=DATE:20260116
SUMMARY:SPIN 2026 — abstract deadline
DESCRIPTION:32nd International Symposium on Model Checking Software\nDeadli
 ne stated in AoE.\nShown as an all-day event: the deadline is a moment\, n
 ot a day\, so check the exact time on the conference site.\nHeld in Torino
 \, Italy.\nConference dates: 15–16 Apr 2026.\nhttps://www.conferences-co
 mputer.science/spin/2026/
URL:https://www.conferences-computer.science/spin/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2026-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260122
DTEND;VALUE=DATE:20260123
SUMMARY:SPIN 2026 — paper deadline
DESCRIPTION:32nd International Symposium on Model Checking Software\nDeadli
 ne stated in AoE.\nShown as an all-day event: the deadline is a moment\, n
 ot a day\, so check the exact time on the conference site.\nHeld in Torino
 \, Italy.\nConference dates: 15–16 Apr 2026.\nhttps://www.conferences-co
 mputer.science/spin/2026/
URL:https://www.conferences-computer.science/spin/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2026-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260305
DTEND;VALUE=DATE:20260306
SUMMARY:SPIN 2026 — notification
DESCRIPTION:32nd International Symposium on Model Checking Software\nNo tim
 e zone stated by the organisers\; this site assumes Anywhere on Earth.\nSh
 own as an all-day event: the deadline is a moment\, not a day\, so check t
 he exact time on the conference site.\nHeld in Torino\, Italy.\nConference
  dates: 15–16 Apr 2026.\nhttps://www.conferences-computer.science/spin/2
 026/
URL:https://www.conferences-computer.science/spin/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2015-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150824
DTEND;VALUE=DATE:20150827
SUMMARY:SPIN 2015 — Stellenbosch\, South Africa
DESCRIPTION:22nd International Symposium on Model Checking of Software\nHel
 d in Stellenbosch\, South Africa.\nPaper deadline was 04 May 2015.\nhttps:
 //www.conferences-computer.science/spin/2015/
URL:https://www.conferences-computer.science/spin/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2016-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160407
DTEND;VALUE=DATE:20160409
SUMMARY:SPIN 2016 — Eindhoven\, The Netherlands
DESCRIPTION:23rd International SPIN Symposium on Model Checking of Software
 \nHeld in Eindhoven\, The Netherlands.\nPaper deadline was 08 January 2016
 .\nhttps://www.conferences-computer.science/spin/2016/
URL:https://www.conferences-computer.science/spin/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2017-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170713
DTEND;VALUE=DATE:20170715
SUMMARY:SPIN 2017 — Santa Barbara\, CA\, USA
DESCRIPTION:24th International SPIN Symposium on Model Checking of Software
 \nHeld in Santa Barbara\, CA\, USA.\nPaper deadline was 17 February 2017.\
 nhttps://www.conferences-computer.science/spin/2017/
URL:https://www.conferences-computer.science/spin/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2018-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180620
DTEND;VALUE=DATE:20180623
SUMMARY:SPIN 2018 — Málaga\, Spain
DESCRIPTION:25th International SPIN Symposium on Model Checking of Software
 \nHeld in Málaga\, Spain.\nPaper deadline was 03 April 2018.\nhttps://www
 .conferences-computer.science/spin/2018/
URL:https://www.conferences-computer.science/spin/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2019-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190715
DTEND;VALUE=DATE:20190720
SUMMARY:SPIN 2019 — Beijing\, China
DESCRIPTION:26th International SPIN Symposium on Model Checking of Software
 \nHeld in Beijing\, China.\nPaper deadline was 05 April 2019.\nhttps://www
 .conferences-computer.science/spin/2019/
URL:https://www.conferences-computer.science/spin/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2020-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200724
DTEND;VALUE=DATE:20200726
SUMMARY:SPIN 2020 — Chicago\, Illinois\, USA
DESCRIPTION:27th International SPIN Symposium on Model Checking of Software
 \nHeld in Chicago\, Illinois\, USA.\nPaper deadline was 17 April 2020.\nht
 tps://www.conferences-computer.science/spin/2020/
URL:https://www.conferences-computer.science/spin/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2021-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210712
DTEND;VALUE=DATE:20210714
SUMMARY:SPIN 2021 — Online
DESCRIPTION:27th International SPIN Symposium on Model Checking of Software
 \nHeld in Online.\nPaper deadline was 20 April 2021.\nhttps://www.conferen
 ces-computer.science/spin/2021/
URL:https://www.conferences-computer.science/spin/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2022-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220521
DTEND;VALUE=DATE:20220523
SUMMARY:SPIN 2022 — Chicago\, Illinois\, USA
DESCRIPTION:28th International SPIN Symposium on Model Checking of Software
 \nHeld in Chicago\, Illinois\, USA.\nPaper deadline was 25 March 2022.\nht
 tps://www.conferences-computer.science/spin/2022/
URL:https://www.conferences-computer.science/spin/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2023-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230426
DTEND;VALUE=DATE:20230428
SUMMARY:SPIN 2023 — Paris\, France
DESCRIPTION:29th International SPIN Symposium on Model Checking of Software
 \nHeld in Paris\, France.\nPaper deadline was 16 January 2023.\nhttps://ww
 w.conferences-computer.science/spin/2023/
URL:https://www.conferences-computer.science/spin/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2024-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240406
DTEND;VALUE=DATE:20240412
SUMMARY:SPIN 2024 — Luxembourg City\, Luxembourg
DESCRIPTION:30th International SPIN Symposium on Model Checking of Software
 \nHeld in Luxembourg City\, Luxembourg.\nPaper deadline was 22 January 202
 4.\nhttps://www.conferences-computer.science/spin/2024/
URL:https://www.conferences-computer.science/spin/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2025-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250507
DTEND;VALUE=DATE:20250509
SUMMARY:SPIN 2025 — Hamilton\, Canada
DESCRIPTION:31st International Symposium on Model Checking Software\nHeld i
 n Hamilton\, Canada.\nPaper deadline was 13 February 2025.\nhttps://www.co
 nferences-computer.science/spin/2025/
URL:https://www.conferences-computer.science/spin/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
BEGIN:VEVENT
UID:spin-2026-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260415
DTEND;VALUE=DATE:20260417
SUMMARY:SPIN 2026 — Torino\, Italy
DESCRIPTION:32nd International Symposium on Model Checking Software\nHeld i
 n Torino\, Italy.\nPaper deadline was 22 January 2026.\nhttps://www.confer
 ences-computer.science/spin/2026/
URL:https://www.conferences-computer.science/spin/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,SPIN
END:VEVENT
END:VCALENDAR