6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018 (ABZ 2018)

The ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, TLA, 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, the second ABZ 2010 conference held in Orford (Canada), where the Alloy community joined the event, the ABZ 2012 held in Pisa (Italy), which saw the inclusion of the VDM community, the ABZ 2014 held in Toulouse (France), which brought the inclusion of the TLA community into the ABZ conference series, and the ABZ 2016 held in Linz, Austria. The ABZ 2018 conference will be held in Southampton, UK.