Skip to main navigationSkip to main content
The University of Southampton
6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018

Welcome to ABZ 2018 June 5th-8th, 2018, Southampton, UK

June 5th-8th, 2018, the Grand Harbour Hotel, Southampton, UK

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.


The 6th International ABZ Conference will be held at the Grand Harbour Hotel, Southampton, UK. See more here.    


There are two types of registration, find out more here.


The 7th Rodin User and Developer Workshop and 3rd International Workshop about Sets and Tools (SETS 2018)  

Invited Talks

Jean-Raymond Abrial, Janet Barnes and Angela Wallenburg, Daniel Jackson and Klaus-Dieter Schewe


Conference programme and list of accepted papers, find out more here.


Excursion and conference dinner at the Portsmouth Historic Dockyard on 7 June.

Important Dates

Abstract submission deadline: January 22, 2018 January 29, 2018

Paper submission deadline: January 29, 2018 February 5, 2018

Notification: March 13, 2018.

Final version due: March 21, 2018.

Workshop proposal submission deadline: December 15, 2017

Workshop proposal notification: January 5, 2018

ABZ 2018 conference: June 5-8, 2018


Privacy Settings