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.
- Earlier conferences
- 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.