BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:ABZ — deadlines and dates
X-WR-CALDESC:Every recorded edition of ABZ. https://www.conferences-compute
 r.science/abz/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:abz-2014-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140203
DTEND;VALUE=DATE:20140204
SUMMARY:ABZ 2014 — paper deadline
DESCRIPTION:4th International ABZ (ASM\, Alloy\, B\, TLA\, VDM\, Z) 2014 Co
 nference\nNo time zone stated by the organisers\; this site assumes Anywhe
 re on Earth.\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 Toulouse\, 
 France.\nConference dates: 2–6 Jun 2014.\nhttps://www.conferences-comput
 er.science/abz/2014/
URL:https://www.conferences-computer.science/abz/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2014-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140301
DTEND;VALUE=DATE:20140302
SUMMARY:ABZ 2014 — notification
DESCRIPTION:4th International ABZ (ASM\, Alloy\, B\, TLA\, VDM\, Z) 2014 Co
 nference\nNo time zone stated by the organisers\; this site assumes Anywhe
 re on Earth.\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 Toulouse\, 
 France.\nConference dates: 2–6 Jun 2014.\nhttps://www.conferences-comput
 er.science/abz/2014/
URL:https://www.conferences-computer.science/abz/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2016-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160115
DTEND;VALUE=DATE:20160116
SUMMARY:ABZ 2016 — abstract deadline
DESCRIPTION:5th International ABZ (ASM\, Alloy\, B\, TLA\, VDM\, Z) 2016 Co
 nference\nNo time zone stated by the organisers\; this site assumes Anywhe
 re on Earth.\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 Linz\, Aust
 ria.\nConference dates: 23–27 May 2016.\nhttps://www.conferences-compute
 r.science/abz/2016/
URL:https://www.conferences-computer.science/abz/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2016-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160122
DTEND;VALUE=DATE:20160123
SUMMARY:ABZ 2016 — paper deadline
DESCRIPTION:5th International ABZ (ASM\, Alloy\, B\, TLA\, VDM\, Z) 2016 Co
 nference\nNo time zone stated by the organisers\; this site assumes Anywhe
 re on Earth.\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 Linz\, Aust
 ria.\nConference dates: 23–27 May 2016.\nhttps://www.conferences-compute
 r.science/abz/2016/
URL:https://www.conferences-computer.science/abz/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2016-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160222
DTEND;VALUE=DATE:20160223
SUMMARY:ABZ 2016 — notification
DESCRIPTION:5th International ABZ (ASM\, Alloy\, B\, TLA\, VDM\, Z) 2016 Co
 nference\nNo time zone stated by the organisers\; this site assumes Anywhe
 re on Earth.\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 Linz\, Aust
 ria.\nConference dates: 23–27 May 2016.\nhttps://www.conferences-compute
 r.science/abz/2016/
URL:https://www.conferences-computer.science/abz/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2018-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180129
DTEND;VALUE=DATE:20180130
SUMMARY:ABZ 2018 — abstract deadline
DESCRIPTION:6th International ABZ (ASM\, Alloy\, B\, TLA\, VDM\, Z) 2018 Co
 nference\nNo time zone stated by the organisers\; this site assumes Anywhe
 re on Earth.\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 22 Ja
 nuary 2018.\nHeld in Southampton\, England.\nConference dates: 5–8 Jun 2
 018.\nhttps://www.conferences-computer.science/abz/2018/
URL:https://www.conferences-computer.science/abz/2018/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2018-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180205
DTEND;VALUE=DATE:20180206
SUMMARY:ABZ 2018 — paper deadline
DESCRIPTION:6th International ABZ (ASM\, Alloy\, B\, TLA\, VDM\, Z) 2018 Co
 nference\nNo time zone stated by the organisers\; this site assumes Anywhe
 re on Earth.\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 29 Ja
 nuary 2018.\nHeld in Southampton\, England.\nConference dates: 5–8 Jun 2
 018.\nhttps://www.conferences-computer.science/abz/2018/
URL:https://www.conferences-computer.science/abz/2018/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2018-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180305
DTEND;VALUE=DATE:20180306
SUMMARY:ABZ 2018 — notification
DESCRIPTION:6th International ABZ (ASM\, Alloy\, B\, TLA\, VDM\, Z) 2018 Co
 nference\nNo time zone stated by the organisers\; this site assumes Anywhe
 re on Earth.\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 Southampton
 \, England.\nConference dates: 5–8 Jun 2018.\nhttps://www.conferences-co
 mputer.science/abz/2018/
URL:https://www.conferences-computer.science/abz/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2020-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200113
DTEND;VALUE=DATE:20200114
SUMMARY:ABZ 2020 — abstract deadline
DESCRIPTION:International Conference on Rigorous State Based Methods\nNo ti
 me zone stated by the organisers\; this site assumes Anywhere on Earth.\nS
 hown as an all-day event: the deadline is a moment\, not a day\, so check 
 the exact time on the conference site.\nHeld in Ulm\, Germany.\nConference
  dates: 27–29 May 2020.\nhttps://www.conferences-computer.science/abz/20
 20/
URL:https://www.conferences-computer.science/abz/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2020-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200120
DTEND;VALUE=DATE:20200121
SUMMARY:ABZ 2020 — paper deadline
DESCRIPTION:International Conference on Rigorous State Based Methods\nNo ti
 me zone stated by the organisers\; this site assumes Anywhere on Earth.\nS
 hown as an all-day event: the deadline is a moment\, not a day\, so check 
 the exact time on the conference site.\nHeld in Ulm\, Germany.\nConference
  dates: 27–29 May 2020.\nhttps://www.conferences-computer.science/abz/20
 20/
URL:https://www.conferences-computer.science/abz/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2020-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200302
DTEND;VALUE=DATE:20200303
SUMMARY:ABZ 2020 — notification
DESCRIPTION:International Conference on Rigorous State Based Methods\nNo ti
 me zone stated by the organisers\; this site assumes Anywhere on Earth.\nS
 hown as an all-day event: the deadline is a moment\, not a day\, so check 
 the exact time on the conference site.\nHeld in Ulm\, Germany.\nConference
  dates: 27–29 May 2020.\nhttps://www.conferences-computer.science/abz/20
 20/
URL:https://www.conferences-computer.science/abz/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2021-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210215
DTEND;VALUE=DATE:20210216
SUMMARY:ABZ 2021 — abstract deadline
DESCRIPTION:International Conference on Rigorous State Based Methods\nNo ti
 me zone stated by the organisers\; this site assumes Anywhere on Earth.\nS
 hown as an all-day event: the deadline is a moment\, not a day\, so check 
 the exact time on the conference site.\nHeld in Online.\nConference dates:
  7–11 Jun 2021.\nhttps://www.conferences-computer.science/abz/2021/
URL:https://www.conferences-computer.science/abz/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2021-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210301
DTEND;VALUE=DATE:20210302
SUMMARY:ABZ 2021 — paper deadline
DESCRIPTION:International Conference on Rigorous State Based Methods\nNo ti
 me zone stated by the organisers\; this site assumes Anywhere on Earth.\nS
 hown as an all-day event: the deadline is a moment\, not a day\, so check 
 the exact time on the conference site.\nExtended from 22 February 2021.\nH
 eld in Online.\nConference dates: 7–11 Jun 2021.\nhttps://www.conference
 s-computer.science/abz/2021/
URL:https://www.conferences-computer.science/abz/2021/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2021-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210329
DTEND;VALUE=DATE:20210330
SUMMARY:ABZ 2021 — notification
DESCRIPTION:International Conference on Rigorous State Based Methods\nNo ti
 me zone stated by the organisers\; this site assumes Anywhere on Earth.\nS
 hown as an all-day event: the deadline is a moment\, not a day\, so check 
 the exact time on the conference site.\nHeld in Online.\nConference dates:
  7–11 Jun 2021.\nhttps://www.conferences-computer.science/abz/2021/
URL:https://www.conferences-computer.science/abz/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2023-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230116
DTEND;VALUE=DATE:20230117
SUMMARY:ABZ 2023 — abstract deadline
DESCRIPTION:9th International Conference on Rigorous State Based Methods\nN
 o 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 ch
 eck the exact time on the conference site.\nHeld in Nancy\, France.\nConfe
 rence dates: 30 May – 2 Jun 2023.\nhttps://www.conferences-computer.scie
 nce/abz/2023/
URL:https://www.conferences-computer.science/abz/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2023-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230130
DTEND;VALUE=DATE:20230131
SUMMARY:ABZ 2023 — paper deadline
DESCRIPTION:9th International Conference on Rigorous State Based Methods\nN
 o 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 ch
 eck the exact time on the conference site.\nExtended from 23 January 2023.
 \nHeld in Nancy\, France.\nConference dates: 30 May – 2 Jun 2023.\nhttps
 ://www.conferences-computer.science/abz/2023/
URL:https://www.conferences-computer.science/abz/2023/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2023-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230306
DTEND;VALUE=DATE:20230307
SUMMARY:ABZ 2023 — notification
DESCRIPTION:9th International Conference on Rigorous State Based Methods\nN
 o 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 ch
 eck the exact time on the conference site.\nHeld in Nancy\, France.\nConfe
 rence dates: 30 May – 2 Jun 2023.\nhttps://www.conferences-computer.scie
 nce/abz/2023/
URL:https://www.conferences-computer.science/abz/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2024-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240210
DTEND;VALUE=DATE:20240211
SUMMARY:ABZ 2024 — abstract deadline
DESCRIPTION:10th International Conference on Rigorous State Based Methods\n
 No time zone stated by the organisers\; this site assumes Anywhere on Eart
 h.\nShown as an all-day event: the deadline is a moment\, not a day\, so c
 heck the exact time on the conference site.\nExtended from 03 February 202
 4.\nHeld in Bergamo\, Italy.\nConference dates: 25–28 Jun 2024.\nhttps:/
 /www.conferences-computer.science/abz/2024/
URL:https://www.conferences-computer.science/abz/2024/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2024-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240224
DTEND;VALUE=DATE:20240225
SUMMARY:ABZ 2024 — paper deadline
DESCRIPTION:10th International Conference on Rigorous State Based Methods\n
 No time zone stated by the organisers\; this site assumes Anywhere on Eart
 h.\nShown as an all-day event: the deadline is a moment\, not a day\, so c
 heck the exact time on the conference site.\nExtended from 10 February 202
 4.\nHeld in Bergamo\, Italy.\nConference dates: 25–28 Jun 2024.\nhttps:/
 /www.conferences-computer.science/abz/2024/
URL:https://www.conferences-computer.science/abz/2024/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2024-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240406
DTEND;VALUE=DATE:20240407
SUMMARY:ABZ 2024 — notification
DESCRIPTION:10th International Conference on Rigorous State Based Methods\n
 No time zone stated by the organisers\; this site assumes Anywhere on Eart
 h.\nShown as an all-day event: the deadline is a moment\, not a day\, so c
 heck the exact time on the conference site.\nHeld in Bergamo\, Italy.\nCon
 ference dates: 25–28 Jun 2024.\nhttps://www.conferences-computer.science
 /abz/2024/
URL:https://www.conferences-computer.science/abz/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2025-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250301
DTEND;VALUE=DATE:20250302
SUMMARY:ABZ 2025 — abstract deadline
DESCRIPTION:11th International Conference on Rigorous State Based Methods\n
 Deadline stated in AoE.\nShown as an all-day event: the deadline is a mome
 nt\, not a day\, so check the exact time on the conference site.\nExtended
  from 03 February 2025.\nHeld in Düsseldorf\, Germany.\nConference dates:
  10–13 Jun 2025.\nhttps://www.conferences-computer.science/abz/2025/
URL:https://www.conferences-computer.science/abz/2025/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2025-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250302
DTEND;VALUE=DATE:20250303
SUMMARY:ABZ 2025 — paper deadline
DESCRIPTION:11th International Conference on Rigorous State Based Methods\n
 Deadline stated in AoE.\nShown as an all-day event: the deadline is a mome
 nt\, not a day\, so check the exact time on the conference site.\nExtended
  from 10 February 2025.\nHeld in Düsseldorf\, Germany.\nConference dates:
  10–13 Jun 2025.\nhttps://www.conferences-computer.science/abz/2025/
URL:https://www.conferences-computer.science/abz/2025/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2025-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250329
DTEND;VALUE=DATE:20250330
SUMMARY:ABZ 2025 — notification
DESCRIPTION:11th International Conference on Rigorous State Based Methods\n
 No time zone stated by the organisers\; this site assumes Anywhere on Eart
 h.\nShown as an all-day event: the deadline is a moment\, not a day\, so c
 heck the exact time on the conference site.\nHeld in Düsseldorf\, Germany
 .\nConference dates: 10–13 Jun 2025.\nhttps://www.conferences-computer.s
 cience/abz/2025/
URL:https://www.conferences-computer.science/abz/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2026-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260209
DTEND;VALUE=DATE:20260210
SUMMARY:ABZ 2026 — abstract deadline
DESCRIPTION:12th International Conference on Rigorous State Based Methods\n
 Deadline stated in AoE.\nShown as an all-day event: the deadline is a mome
 nt\, not a day\, so check the exact time on the conference site.\nHeld in 
 Tokyo\, Japan.\nConference dates: 18–20 May 2026.\nhttps://www.conferenc
 es-computer.science/abz/2026/
URL:https://www.conferences-computer.science/abz/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2026-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260216
DTEND;VALUE=DATE:20260217
SUMMARY:ABZ 2026 — paper deadline
DESCRIPTION:12th International Conference on Rigorous State Based Methods\n
 Deadline stated in AoE.\nShown as an all-day event: the deadline is a mome
 nt\, not a day\, so check the exact time on the conference site.\nHeld in 
 Tokyo\, Japan.\nConference dates: 18–20 May 2026.\nhttps://www.conferenc
 es-computer.science/abz/2026/
URL:https://www.conferences-computer.science/abz/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2026-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260313
DTEND;VALUE=DATE:20260314
SUMMARY:ABZ 2026 — notification
DESCRIPTION:12th International Conference on Rigorous State Based Methods\n
 No time zone stated by the organisers\; this site assumes Anywhere on Eart
 h.\nShown as an all-day event: the deadline is a moment\, not a day\, so c
 heck the exact time on the conference site.\nHeld in Tokyo\, Japan.\nConfe
 rence dates: 18–20 May 2026.\nhttps://www.conferences-computer.science/a
 bz/2026/
URL:https://www.conferences-computer.science/abz/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2014-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140602
DTEND;VALUE=DATE:20140607
SUMMARY:ABZ 2014 — Toulouse\, France
DESCRIPTION:4th International ABZ (ASM\, Alloy\, B\, TLA\, VDM\, Z) 2014 Co
 nference\nHeld in Toulouse\, France.\nPaper deadline was 03 February 2014.
 \nhttps://www.conferences-computer.science/abz/2014/
URL:https://www.conferences-computer.science/abz/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2016-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160523
DTEND;VALUE=DATE:20160528
SUMMARY:ABZ 2016 — Linz\, Austria
DESCRIPTION:5th International ABZ (ASM\, Alloy\, B\, TLA\, VDM\, Z) 2016 Co
 nference\nHeld in Linz\, Austria.\nPaper deadline was 22 January 2016.\nht
 tps://www.conferences-computer.science/abz/2016/
URL:https://www.conferences-computer.science/abz/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2018-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180605
DTEND;VALUE=DATE:20180609
SUMMARY:ABZ 2018 — Southampton\, England
DESCRIPTION:6th International ABZ (ASM\, Alloy\, B\, TLA\, VDM\, Z) 2018 Co
 nference\nHeld in Southampton\, England.\nPaper deadline was 05 February 2
 018.\nhttps://www.conferences-computer.science/abz/2018/
URL:https://www.conferences-computer.science/abz/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2020-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200527
DTEND;VALUE=DATE:20200530
SUMMARY:ABZ 2020 — Ulm\, Germany
DESCRIPTION:International Conference on Rigorous State Based Methods\nHeld 
 in Ulm\, Germany.\nPaper deadline was 20 January 2020.\nhttps://www.confer
 ences-computer.science/abz/2020/
URL:https://www.conferences-computer.science/abz/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2021-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210607
DTEND;VALUE=DATE:20210612
SUMMARY:ABZ 2021 — Online
DESCRIPTION:International Conference on Rigorous State Based Methods\nHeld 
 in Online.\nPaper deadline was 01 March 2021.\nhttps://www.conferences-com
 puter.science/abz/2021/
URL:https://www.conferences-computer.science/abz/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2023-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230530
DTEND;VALUE=DATE:20230603
SUMMARY:ABZ 2023 — Nancy\, France
DESCRIPTION:9th International Conference on Rigorous State Based Methods\nH
 eld in Nancy\, France.\nPaper deadline was 30 January 2023.\nhttps://www.c
 onferences-computer.science/abz/2023/
URL:https://www.conferences-computer.science/abz/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2024-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240625
DTEND;VALUE=DATE:20240629
SUMMARY:ABZ 2024 — Bergamo\, Italy
DESCRIPTION:10th International Conference on Rigorous State Based Methods\n
 Held in Bergamo\, Italy.\nPaper deadline was 24 February 2024.\nhttps://ww
 w.conferences-computer.science/abz/2024/
URL:https://www.conferences-computer.science/abz/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2025-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250610
DTEND;VALUE=DATE:20250614
SUMMARY:ABZ 2025 — Düsseldorf\, Germany
DESCRIPTION:11th International Conference on Rigorous State Based Methods\n
 Held in Düsseldorf\, Germany.\nPaper deadline was 02 March 2025.\nhttps:/
 /www.conferences-computer.science/abz/2025/
URL:https://www.conferences-computer.science/abz/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,ABZ
END:VEVENT
BEGIN:VEVENT
UID:abz-2026-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260518
DTEND;VALUE=DATE:20260521
SUMMARY:ABZ 2026 — Tokyo\, Japan
DESCRIPTION:12th International Conference on Rigorous State Based Methods\n
 Held in Tokyo\, Japan.\nPaper deadline was 16 February 2026.\nhttps://www.
 conferences-computer.science/abz/2026/
URL:https://www.conferences-computer.science/abz/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,ABZ
END:VEVENT
END:VCALENDAR