{
 "generated": "2026-08-13T11:47:39.577635+00:00",
 "source": "https://www.conferences-computer.science/spin/",
 "licence": "CC BY-SA 4.0",
 "acronym": "SPIN",
 "name": "International Symposium on Model Checking Software",
 "count": 12,
 "editions": [
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2015",
   "edition": 22,
   "title": "22nd International Symposium on Model Checking of Software",
   "url": "http://spin2015.org/",
   "page": "https://www.conferences-computer.science/spin/2015/",
   "status": null,
   "abstract_deadline": "2015-04-17",
   "paper_deadline": "2015-05-04",
   "paper_deadline_announced": "2015-05-04",
   "paper_extended_days": 0,
   "notification": "2015-06-15",
   "timezone": null,
   "event_start": "2015-08-24",
   "event_end": "2015-08-26",
   "city": "Stellenbosch, South Africa",
   "country": "ZA",
   "continent": "AF",
   "lat": -33.9321,
   "lon": 18.8602,
   "online": false,
   "publisher": "ACM Digital Library",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS (research / survey / history) / 6 pages (idea / tool)",
   "dblp": "spin"
  },
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2016",
   "edition": 23,
   "title": "23rd International SPIN Symposium on Model Checking of Software",
   "url": "http://www.spin2016.info",
   "page": "https://www.conferences-computer.science/spin/2016/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2016-01-08",
   "paper_deadline_announced": "2016-01-08",
   "paper_extended_days": 0,
   "notification": "2016-02-12",
   "timezone": null,
   "event_start": "2016-04-07",
   "event_end": "2016-04-08",
   "city": "Eindhoven, The Netherlands",
   "country": "NL",
   "continent": "EU",
   "lat": 51.4416,
   "lon": 5.4697,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS (technical) / 6 pages (idea / tool)",
   "dblp": "spin"
  },
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2017",
   "edition": 24,
   "title": "24th International SPIN Symposium on Model Checking of Software",
   "url": "http://conf.researchr.org/home/spin-2017",
   "page": "https://www.conferences-computer.science/spin/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-02-17",
   "paper_deadline_announced": "2017-02-10",
   "paper_extended_days": 7,
   "notification": "2017-04-15",
   "timezone": null,
   "event_start": "2017-07-13",
   "event_end": "2017-07-14",
   "city": "Santa Barbara, CA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 34.4208,
   "lon": -119.6982,
   "online": false,
   "publisher": "ACM",
   "license": "acm",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM (full research paper) / 4 pages (idea / tool)",
   "dblp": "spin"
  },
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2018",
   "edition": 25,
   "title": "25th International SPIN Symposium on Model Checking of Software",
   "url": "http://spin2018.uma.es/",
   "page": "https://www.conferences-computer.science/spin/2018/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2018-04-03",
   "paper_deadline_announced": "2018-02-18",
   "paper_extended_days": 44,
   "notification": "2018-04-25",
   "timezone": null,
   "event_start": "2018-06-20",
   "event_end": "2018-06-22",
   "city": "Málaga, Spain",
   "country": "ES",
   "continent": "EU",
   "lat": 36.7213,
   "lon": -4.4214,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages (technical) / 6 pages (short)",
   "dblp": "spin"
  },
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2019",
   "edition": 26,
   "title": "26th International SPIN Symposium on Model Checking of Software",
   "url": "https://conf.researchr.org/home/spin-2019",
   "page": "https://www.conferences-computer.science/spin/2019/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2019-04-05",
   "paper_deadline_announced": "2019-04-05",
   "paper_extended_days": 0,
   "notification": "2019-04-27",
   "timezone": "AoE",
   "event_start": "2019-07-15",
   "event_end": "2019-07-19",
   "city": "Beijing, China",
   "country": "CN",
   "continent": "AS",
   "lat": 39.9042,
   "lon": 116.4074,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages + references (technical) / 6 pages (short) + references / 4 pages (tool demo)",
   "dblp": "spin"
  },
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2020",
   "edition": 27,
   "title": "27th International SPIN Symposium on Model Checking of Software",
   "url": "https://spin2020ui.web.illinois.edu",
   "page": "https://www.conferences-computer.science/spin/2020/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2020-04-17",
   "paper_deadline_announced": "2020-04-17",
   "paper_extended_days": 0,
   "notification": "2020-05-22",
   "timezone": "AoE",
   "event_start": "2020-07-24",
   "event_end": "2020-07-25",
   "city": "Chicago, Illinois, USA",
   "country": "US",
   "continent": "NA",
   "lat": 41.8781,
   "lon": -87.6298,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages + references (technical) / 6 pages (short) + references / 4 pages (tool demo)",
   "dblp": "spin"
  },
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2021",
   "edition": 27,
   "title": "27th International SPIN Symposium on Model Checking of Software",
   "url": "https://conf.researchr.org/home/spin-2021",
   "page": "https://www.conferences-computer.science/spin/2021/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2021-04-20",
   "paper_deadline_announced": "2021-03-01",
   "paper_extended_days": 50,
   "notification": "2021-05-20",
   "timezone": "AoE",
   "event_start": "2021-07-12",
   "event_end": "2021-07-13",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages + references (technical) / 6 pages (short) + references / 4 pages (tool demo)",
   "dblp": "spin"
  },
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2022",
   "edition": 28,
   "title": "28th International SPIN Symposium on Model Checking of Software",
   "url": "https://spin2022chi.web.illinois.edu",
   "page": "https://www.conferences-computer.science/spin/2022/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2022-03-25",
   "paper_deadline_announced": "2022-03-25",
   "paper_extended_days": 0,
   "notification": "2022-04-29",
   "timezone": "AoE",
   "event_start": "2022-05-21",
   "event_end": "2022-05-22",
   "city": "Chicago, Illinois, USA",
   "country": "US",
   "continent": "NA",
   "lat": 41.8781,
   "lon": -87.6298,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages + references (technical) / 6 pages (short) + references / 4 pages (tool demo)",
   "dblp": "spin"
  },
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2023",
   "edition": 29,
   "title": "29th International SPIN Symposium on Model Checking of Software",
   "url": "https://spin-web.github.io/SPIN2023/",
   "page": "https://www.conferences-computer.science/spin/2023/",
   "status": null,
   "abstract_deadline": "2023-01-09",
   "paper_deadline": "2023-01-16",
   "paper_deadline_announced": "2023-01-16",
   "paper_extended_days": 0,
   "notification": "2023-02-16",
   "timezone": "AoE",
   "event_start": "2023-04-26",
   "event_end": "2023-04-27",
   "city": "Paris, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.8566,
   "lon": 2.3522,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages + references (long) / 6 pages (short) + references",
   "dblp": "spin"
  },
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2024",
   "edition": 30,
   "title": "30th International SPIN Symposium on Model Checking of Software",
   "url": "https://spin-web.github.io/SPIN2024/",
   "page": "https://www.conferences-computer.science/spin/2024/",
   "status": null,
   "abstract_deadline": "2024-01-15",
   "paper_deadline": "2024-01-22",
   "paper_deadline_announced": "2024-01-15",
   "paper_extended_days": 7,
   "notification": "2024-02-26",
   "timezone": "AoE",
   "event_start": "2024-04-06",
   "event_end": "2024-04-11",
   "city": "Luxembourg City, Luxembourg",
   "country": "LU",
   "continent": "EU",
   "lat": 49.6116,
   "lon": 6.1319,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages + references (long) / 6 pages (short) + references",
   "dblp": "spin"
  },
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2025",
   "edition": 31,
   "title": "31st International Symposium on Model Checking Software",
   "url": "https://spin-web.github.io/SPIN2025/",
   "page": "https://www.conferences-computer.science/spin/2025/",
   "status": null,
   "abstract_deadline": "2025-02-13",
   "paper_deadline": "2025-02-13",
   "paper_deadline_announced": "2025-02-13",
   "paper_extended_days": 0,
   "notification": "2025-03-24",
   "timezone": "AoE",
   "event_start": "2025-05-07",
   "event_end": "2025-05-08",
   "city": "Hamilton, Canada",
   "country": "CA",
   "continent": "NA",
   "lat": 43.2557,
   "lon": -79.8711,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages + references (long) / 6 pages (short) + references",
   "dblp": "spin"
  },
  {
   "slug": "spin",
   "acronym": "SPIN",
   "year": "2026",
   "edition": 32,
   "title": "32nd International Symposium on Model Checking Software",
   "url": "https://spin-web.github.io/SPIN2025/",
   "page": "https://www.conferences-computer.science/spin/2026/",
   "status": null,
   "abstract_deadline": "2026-01-15",
   "paper_deadline": "2026-01-22",
   "paper_deadline_announced": "2026-01-22",
   "paper_extended_days": 0,
   "notification": "2026-03-05",
   "timezone": "AoE",
   "event_start": "2026-04-15",
   "event_end": "2026-04-16",
   "city": "Torino, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.0703,
   "lon": 7.6869,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages + references (full research / tool) / 6 pages (short) + references",
   "dblp": "spin"
  }
 ]
}