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


We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.