Ad blocker interference detected!
Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers
Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.
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.