Sites

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.

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. 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 TBA Abstract TBA Short Bio Michael Butler is the Dean of Engineering and Physical Science at the University of Southampton.

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

Registration fees Will be announced later Author Policy At least one “Author Registration” per paper accepted is required. Student Policy For registrations at the student rate, a proof of student status – such as a confirmation of registration provided by the university or a confirmation letter by the PhD advisor - must be sent by email together with the payment receipt.

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 Workshop/Tutorial Chairs Sponsor Chair 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 Registration Chair 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.