Düsseldorf (Germany) - Jun 10, 2025 — Jun 13, 2025 The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like 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.
Accommodation We have secured a contigent of rooms at an advantageous rate of 95 Euro per night with the Tribe hotel near the central station of Düsseldorf. It is a three minute walk from the central station and thus ideal for everybody arriving by train or plane (as are direct S-Bahn train from the airport to the central station taking 14 minutes).
Call for papers The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like 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.
Case Study: Safety Controller for Autonomous Driving - Call for Papers As successfully practiced in previous editions of ABZ, the 11th edition of ABZ will include again special sessions dedicated to a shared real-life case study.
Doctoral Symposium - Call for Papers The ABZ PhD Symposium is an international forum for PhD students studying all areas related to state based formal methods for software and system development.
Important Dates Below are the important submission and notification dates. All submission dates anywhere on earth. Submissions deadlines have been extended!
Workshops/Tutorials Please contact the organisers directly as soon as possible for workshop or tutorial proposals.
Keynote speakers Here it is the list of keynote speakers (in alphabetic order by name).
Michael Butler @ University of Southampton The role of abstraction and refinement in safety of intelligent systems
Main ABZ Track - Call for Papers Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, TLA, VDM, Z and other state-based rigour approaches in software/hardware engineering, including the development of tools and industrial applications.
Program To be announced in April/May 2025.
Workshops and Tutorials (Düsseldorf, Germany) June 10, 2025 ABZ 2025 Conference (Düsseldorf, Germany) June 11-13, 2025 Accepted Papers Main Track Klaus-Dieter Schewe and Flavio Ferrarotti.
Registration fees The full author registration fee will be 385 EUR. Note: if sufficient persons attend ABZ'2025 we will be able to lower the cost, and may even allow you to only pay for actual days attended.