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.
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 All dates anywhere on earth
Workshops/Tutorials Workshop proposal submission: December 01, 2023 Workshop notification: December 15, 2023 Tutorial proposal submission: March 16, 2024 Case Study Track Abstract submission (mandatory): February 3, 2024 February 10, 2024 Paper submission (firm deadline): February 10, 2024 February 24, 2024 Notification: April 6, 2024 Final version: April 20, 2024 Main Track Abstract submission (mandatory): February 3, 2024 February 10, 2024 Paper submission (firm deadline, including research/short/industry/journal-first papers): February 10, 2024 February 24, 2024 Notification: April 6, 2024 April 9, 2024 Final version: April 20, 2024 Doctoral Symposium Paper submission: February 24, 2024 Notification: April 6, 2024 Final version: April 20, 2024 Conference Workshps and Tutorials (Bergamo, Italy) June 25, 2024 ABZ 2024 Conference (Bergamo, Italy) June 26-28, 2024
Keynote speakers Here it is the list of keynote speakers (in alphabetic order by name).
David Basin @ ETH Zurich Getting Electronic Payments Right
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, 25th Conference Room: Room 5 TimeTalkTopic Session Chair: Laurent Voisin 09:00 - 09:30What's new in Rodin 3.9 and the Theory plug-in
Guillaume Verdier, Laurent Voisin, Idir Ait-SadouneRodin Workshop 09:30 - 10:00Semantics formalisation: Some experience with the Theory Plug-in
Registration fees (all values are in EUR) Follow these guidelines for the payments: Payment Guidelines Registration type Due date Author registration (workshops are included) April 20, 2024 €480 Early full regstration (workshops are included) May 25, 2024 €480 Early student registration (workshops are included) May 25, 2024 €250 Early workshop registration only (1 day) May 25, 2024 €120 Late full registration (workshops are included) June 16, 2024 €550 Late student registration (workshops are included) June 16, 2024 €300 Late workshop registration only (1 day) June 16, 2024 €180 What is included in the price: Author/Full/Student registrations include:
Organization Program Chairs Elvinia Riccobene, Università degli Studi di Milano, Milano, Italy Michael Leuschel, Heinrich-Heine-Universität, Düsseldorf, Germany Case Study Chairs Silvia Bonfanti, University of Bergamo, Bergamo, Italy Angelo Gargantini, University of Bergamo, Bergamo, Italy Workshop/Tutorial Chairs Claudio Menghi, University of Bergamo, Bergamo, Italy Alexander Raschke, Ulm University, Ulm, Germany Sponsor Chair Claudio Menghi, University of Bergamo, Bergamo, Italy Doctoral Symposium Chairs Philipp Körner, Heinrich-Heine-Universität, Düsseldorf, Germany Chiara Braghin, Università degli Studi di Milano, Milano, Italy Social/Publicity Chairs Atif Mashkoor, JKU Linz, Linz, Austria Fabian Vu, Heinrich-Heine-Universität, Düsseldorf, Germany Web Chairs Andrea Bombarda, University of Bergamo, Bergamo, Italy Mario Lilli, Università degli Studi di Milano, Milano, Italy Local Chair Patrizia Scandurra, University of Bergamo, Bergamo, Italy Registration Chair Silvia Bonfanti, University of Bergamo, Bergamo, Italy Program Committee Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France Nazareno Aguirre, Universidad Nacional de Río Cuarto, Argentina Étienne André, Université Sorbonne Paris Nord, LIPN, CNRS UMR, France Paolo Arcaini, National Institute of Informatics, Japan Richard Banach, University of Manchester, UK Egon Boerger, University of Pisa, Italy Chiara Braghin, University of Milan, Italy Adam Bryant, Galois Inc.
Call for Workshops and Tutorials Researchers and practitioners are invited to submit proposals for workshops and tutorials held in conjunction with ABZ 2024. Workshops and tutorials will be held on June 25, 2024 (right before the main conference on June 26 – June 28, 2024).
Venue: University of Bergamo Location University of Bergamo - Department of Human and Social Sciences Piazzale S. Agostino, 2 24129 Bergamo Italy How to reach the venue From Bergamo airport (Milan-Bergamo Airport - Orio al Serio - BGY) Take BUS Line 1 / airport to Porta S.
Workshops ABZ 2024 will host the two following workshops.
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.
Information disclosed under Digital Economy Law (575/2004), France:
Contact Neeraj Kumar Singh INPT-ENSEEIHT/IRIT F-313, 2 Rue Charles Camichel, BP 7122 31071 Toulouse, CEDEX 7, France Alexander Raschke Universität Ulm Albert-Einstein-Allee 11