The ABZ 2012 conference is organized in Pisa (Italy) in conjunction with iFM 2012 and is being held in honor of Prof. Egon Börger’s 65th birthday.
The ABZ conference is dedicated to the cross-fertilization of five related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. It builds on the success of the first ABZ conference held in London in 2008, where the ASM, B and Z conference series merged into a single event, and the success of the second ABZ conference held in Orford (Canada) where the Alloy community joined the event. The novelty of the 3rd international event is the inclusion of the VDM community in the ABZ conference series.
| Submissions: | January 14, 2012 |
| Notification: | March 1, 2012 |
| Event: | June 19, 2012-June 22, 2012 |