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.
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 Please contact the organisers as soon as possible for workshop or tutorial proposals.
Case Study Track Abstract submission: February 3, 2025 Paper submission: February 10, 2025 Notification: March 29, 2025 Final version: April 9, 2025 Main Track Abstract submission (mandatory): February 3, 2025 Paper submission (including research/short/industry/journal-first papers): February 10, 2025 Notification: March 29, 2025 Final version: April 9, 2025 Doctoral Symposium Paper submission: February 24, 2025s Notification: March 29, 2025 Final version: April 9, 2025 Conference Workshps and Tutorials (Düsseldorf, Germany) June 10, 2025 ABZ 2025 Conference (Düsseldorf, Germany) June 11-13, 2025
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.
Workshps 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 Local Chair Registration Chair Program Committee