Venue
The 6th International ABZ Conference will be held at the Grand Harbour Hotel, Southampton, UK. See more here.
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)
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.
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