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. It is planned for ABZ2012 to also incorporate VDM.

Conferences Edit

Next conference: ABZ2012, Pisa↑, Italy↑, 2012.

Last conference: ABZ2010, Orford, Quebec↑, Canada↑, 23–25 February 2010.

First conference: ABZ2008, London↑, United Kingdom↑, 16–18 September 2008.

See also Edit

• ZB
• Z User Meeting
• Workshop on Tool Building in Formal Methods