Computing
Software engineering
Formal methods
ASM — B — Z
The ABZ conference covers Abstract State Machines, the B-Method, and the Z notation. The first conference was held in 2008 at the British Computer Society↑ offices in London↑, UK↑, under the auspices of the BCS-FACS Specialist Group. The ABZ 2010 conference also incorporated the Alloy language and tool. ABZ 2012 also incorporated VDM. ABZ 2014 incorporated TLA. The general theme is state-based formal methods. The conference was renamed fr ABZ 2020, although this was delayed till 2021 and held online with ABZ 2021 due to the COVID-19 pandemic↑.
Conferences[]
Next conference: ABZ 2023, Nancy, France↑, 30 May - 2 June 2023.
- Earlier conferences
- ABZ 2021, Ulm↑, Germany↑, 2021.
- ABZ 2020, Ulm↑, Germany↑, 2021.
- ABZ 2018, Southampton↑, United Kingdom↑, 2018.
- ABZ 2016, Linz↑, Austria↑, 23–27 May 2016.
- ABZ 2014, Toulouse↑, France↑, 2–6 June 2014.
- ABZ 2012, Pisa↑, Italy↑, 18–22 June 2012.
- ABZ 2010, Orford, Quebec↑, Canada↑, 23–25 February 2010.
- ABZ 2008, London↑, United Kingdom↑, 16–18 September 2008.