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.
' Next 'conference: ABZ2014 , Toulouse