{
 "generated": "2026-08-13T11:47:39.208090+00:00",
 "source": "https://www.conferences-computer.science/abz/",
 "licence": "CC BY-SA 4.0",
 "acronym": "ABZ",
 "name": "International Conference on Rigorous State Based Methods",
 "count": 9,
 "editions": [
  {
   "slug": "abz",
   "acronym": "ABZ",
   "year": "2014",
   "edition": null,
   "title": "4th International ABZ (ASM, Alloy, B, TLA, VDM, Z) 2014 Conference",
   "url": "http://www.irit.fr/ABZ2014/",
   "page": "https://www.conferences-computer.science/abz/2014/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2014-02-03",
   "paper_deadline_announced": "2014-02-03",
   "paper_extended_days": 0,
   "notification": "2014-03-01",
   "timezone": null,
   "event_start": "2014-06-02",
   "event_end": "2014-06-06",
   "city": "Toulouse, France",
   "country": "FR",
   "continent": "EU",
   "lat": 43.6047,
   "lon": 1.4442,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages LNCS (research) / 4 pages (short / work in progress / tool) / 14 pages (answer to case studies) / 4 pages extended abstract (industry)",
   "dblp": "zum"
  },
  {
   "slug": "abz",
   "acronym": "ABZ",
   "year": "2016",
   "edition": 5,
   "title": "5th International ABZ (ASM, Alloy, B, TLA, VDM, Z) 2016 Conference",
   "url": "http://www.cdcc.faw.jku.at/ABZ2016/",
   "page": "https://www.conferences-computer.science/abz/2016/",
   "status": null,
   "abstract_deadline": "2016-01-15",
   "paper_deadline": "2016-01-22",
   "paper_deadline_announced": "2016-01-22",
   "paper_extended_days": 0,
   "notification": "2016-02-22",
   "timezone": null,
   "event_start": "2016-05-23",
   "event_end": "2016-05-27",
   "city": "Linz, Austria",
   "country": "AT",
   "continent": "EU",
   "lat": 48.3069,
   "lon": 14.2858,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages LNCS (research) / 4 pages (short / work in progress / tool) / 14 pages (answer to case studies) / 4 pages extended abstract (industry)",
   "dblp": "zum"
  },
  {
   "slug": "abz",
   "acronym": "ABZ",
   "year": "2018",
   "edition": 6,
   "title": "6th International ABZ (ASM, Alloy, B, TLA, VDM, Z) 2018 Conference",
   "url": "http://www.southampton.ac.uk/abz2018",
   "page": "https://www.conferences-computer.science/abz/2018/",
   "status": null,
   "abstract_deadline": "2018-01-29",
   "paper_deadline": "2018-02-05",
   "paper_deadline_announced": "2018-01-29",
   "paper_extended_days": 7,
   "notification": "2018-03-05",
   "timezone": null,
   "event_start": "2018-06-05",
   "event_end": "2018-06-08",
   "city": "Southampton, England",
   "country": "GB",
   "continent": "EU",
   "lat": 50.9097,
   "lon": -1.4044,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages LNCS (research) / 4 pages (short / work in progress / tool) / 14 pages (answer to case studies) / 4 pages extended abstract (industry)",
   "dblp": "zum"
  },
  {
   "slug": "abz",
   "acronym": "ABZ",
   "year": "2020",
   "edition": 7,
   "title": "International Conference on Rigorous State Based Methods",
   "url": "https://abz2020.uni-ulm.de",
   "page": "https://www.conferences-computer.science/abz/2020/",
   "status": null,
   "abstract_deadline": "2020-01-13",
   "paper_deadline": "2020-01-20",
   "paper_deadline_announced": "2020-01-20",
   "paper_extended_days": 0,
   "notification": "2020-03-02",
   "timezone": null,
   "event_start": "2020-05-27",
   "event_end": "2020-05-29",
   "city": "Ulm, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 48.4011,
   "lon": 9.9876,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (research, case study) / 4 pages (short / work in progress / tool) / 14 pages (answer to case studies) / 4 pages extended abstract (industry)",
   "dblp": "zum"
  },
  {
   "slug": "abz",
   "acronym": "ABZ",
   "year": "2021",
   "edition": 8,
   "title": "International Conference on Rigorous State Based Methods",
   "url": "https://abz2021.uni-ulm.de/",
   "page": "https://www.conferences-computer.science/abz/2021/",
   "status": null,
   "abstract_deadline": "2021-02-15",
   "paper_deadline": "2021-03-01",
   "paper_deadline_announced": "2021-02-22",
   "paper_extended_days": 7,
   "notification": "2021-03-29",
   "timezone": null,
   "event_start": "2021-06-07",
   "event_end": "2021-06-11",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages LNCS (research, case study) / 4 pages (short / work in progress / tool) / 14 pages (answer to case studies) / 4 pages extended abstract (industry)",
   "dblp": "zum"
  },
  {
   "slug": "abz",
   "acronym": "ABZ",
   "year": "2023",
   "edition": 9,
   "title": "9th International Conference on Rigorous State Based Methods",
   "url": "https://abz2023.loria.fr/",
   "page": "https://www.conferences-computer.science/abz/2023/",
   "status": null,
   "abstract_deadline": "2023-01-16",
   "paper_deadline": "2023-01-30",
   "paper_deadline_announced": "2023-01-23",
   "paper_extended_days": 7,
   "notification": "2023-03-06",
   "timezone": null,
   "event_start": "2023-05-30",
   "event_end": "2023-06-02",
   "city": "Nancy, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.6921,
   "lon": 6.1844,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research, case study) / 6 pages (short / work in progress / tool / journal-first) / 8 pages (application in industry)",
   "dblp": "zum"
  },
  {
   "slug": "abz",
   "acronym": "ABZ",
   "year": "2024",
   "edition": 10,
   "title": "10th International Conference on Rigorous State Based Methods",
   "url": "https://abz-conf.org/site/2024/",
   "page": "https://www.conferences-computer.science/abz/2024/",
   "status": null,
   "abstract_deadline": "2024-02-10",
   "paper_deadline": "2024-02-24",
   "paper_deadline_announced": "2024-02-10",
   "paper_extended_days": 14,
   "notification": "2024-04-06",
   "timezone": null,
   "event_start": "2024-06-25",
   "event_end": "2024-06-28",
   "city": "Bergamo, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.6983,
   "lon": 9.6773,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research, case study) / 6 pages (short / work in progress / tool / journal-first) / 8 pages (application in industry)",
   "dblp": "zum"
  },
  {
   "slug": "abz",
   "acronym": "ABZ",
   "year": "2025",
   "edition": 11,
   "title": "11th International Conference on Rigorous State Based Methods",
   "url": "https://abz-conf.org/site/2025/",
   "page": "https://www.conferences-computer.science/abz/2025/",
   "status": null,
   "abstract_deadline": "2025-03-01",
   "paper_deadline": "2025-03-02",
   "paper_deadline_announced": "2025-02-10",
   "paper_extended_days": 20,
   "notification": "2025-03-29",
   "timezone": "AoE",
   "event_start": "2025-06-10",
   "event_end": "2025-06-13",
   "city": "Düsseldorf, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 51.2277,
   "lon": 6.7735,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research, case study) / 6 pages (short / work in progress / tool / journal-first) / 8 pages (application in industry)",
   "dblp": "zum"
  },
  {
   "slug": "abz",
   "acronym": "ABZ",
   "year": "2026",
   "edition": 12,
   "title": "12th International Conference on Rigorous State Based Methods",
   "url": "https://abz-conf.org/site/2025/",
   "page": "https://www.conferences-computer.science/abz/2026/",
   "status": null,
   "abstract_deadline": "2026-02-09",
   "paper_deadline": "2026-02-16",
   "paper_deadline_announced": "2026-02-16",
   "paper_extended_days": 0,
   "notification": "2026-03-13",
   "timezone": "AoE",
   "event_start": "2026-05-18",
   "event_end": "2026-05-20",
   "city": "Tokyo, Japan",
   "country": "JP",
   "continent": "AS",
   "lat": 35.6762,
   "lon": 139.6503,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research, case study) / 6 pages (short / work in progress / tool / journal-first) / 8 pages (application in industry)",
   "dblp": "zum"
  }
 ]
}