Doctoral Symposium In the 2026 edition, information for the doctoral symposium will be found in the FM 2026 website (we don’t have ABZ-specific doctoral symposium).
Organization Program Chairs Fuyuki Ishikawa, National Institute of Informatics, Tokyo, Japan
Alcino Cunha, INESC TEC & University of Minho, Braga, Portugal
Workshops and Tutorials In the 2026 edition, information for workshops and tutorials will be found in the FM 2026 website (we don’t have ABZ-specific workshops or tutorials).
Workshops and Tutorials In the 2026 edition, information for workshops and tutorials will be found in the FM 2026 website (we don’t have ABZ-specific workshops or tutorials).
Tokyo (Japan) - May 18 — May 20 2026 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.
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 a guaranteed 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.
Workshop Program June, 10th TimeTalkTopic 12th Rodin User and Developer Workshop Session Chair: Asieh Salehi Fathabadi 09:00 - 09:25Rodin 3.10 and its plug-ins
Guillaume Verdier, Laurent Voisin and Idir Ait-SadouneRodin Workshop 09:25 - 09:50Constructing an Event-B Model using Promise-Driven Modeling
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.
Organization Program Chairs Michael Leuschel, Heinrich-Heine-Universität, Germany Fuyuki Ishikawa, National Institute of Informatics, Tokyo, Japan Case Study Chairs Fabian Vu, Heinrich-Heine-Universität, Germany Doctoral Symposium Chairs Asieh Salehi Fathabadi, University of Southampton, UK Philipp Körner, Heinrich-Heine-Universität, Germany Publicity/Social/Web Chairs Jan Gruteser, Heinrich-Heine-Universität, Germany Fabian Vu, Heinrich-Heine-Universität, Germany Local Chair Michael Leuschel, Heinrich-Heine-Universität, Germany Registration Chair Claudia Kiometzis, Heinrich-Heine-Universität, Germany Program Committee Yamine Ait Ameur, ENSEEIHT, France Toshiaki Aoki, JAIST, Japan Paolo Arcaini, National Institute of Informatics, Japan Richard Banach, University of Manchester, UK Silvia Bonfanti, University of Bergramo, Italy Chiara Braghin, University of Milan, Italy Maximiliano Cristiá, Universidad Nacional de Rosario, Argentina Alcino Cunha, University of Minho, Portugal Catherine Dubois, ENSIIE, France Guillaume Dupont, ENSEEIHT, France Marie Farell, University of Manchester, UK Flavio Ferrarotti, Software Competence Centre Hagenberg, Austria Marc Frappier, Université de Sherbrooke, Canada Angelo Gargantini, University of Bergamo, Italy Uwe Glässer, Simon Fraser University, Canada Stefan Hallerstede, Aarhus University, Denmark Thai Son Hoang, University of Southampton, UK Akram Idani, Univ.
Venue: Tribe hotel Location Tribe Düsseldorf Graf-Adolf-Strasse 81-87 40215 Düsseldorf Germany 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).
Workshops ABZ 2025 will host the following workshops (to be completed).
Rodin Workshop Event-B is a formal method for system-level modeling and analysis. The Rodin Platform is an Eclipse-based toolset for Event-B that provides effective support for modeling and automated proof.
Bergamo (Italy) - Jun 25, 2024 — Jun 28, 2024 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 The following list of hotels is just a suggestion of nearby places for accommodation with the relative distance (by foot) to the venue:
ARLI Hotel Business & Wellness (1.
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 - Call for Papers As successfully practiced in previous editions of ABZ, the 10th edition of ABZ will include again special sessions dedicated to a shared real-life case study.