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.

Call for Contributions

There are three types of contributions: Call for short/full paper (including answers to case study paper), call for tutorial and call for workshop. Find out more here.


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

Case Study

Information about the Hybrid ERTMS/ETCS Level 3 case study.

Invited Talks

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

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

Tutorial proposal submission: February 16, 2018

Tutorial proposal notification: February 26, 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.