Sites

ABZ 2025 – 11th International Conference on Rigorous State Based Methods

Venue: Haus der Universität Location Haus der Universität Schadowplatz 14 40212 Düsseldorf Germany

ABZ 2025 – 11th International Conference on Rigorous State Based Methods

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.

ABZ 2024 – 10th International Conference on Rigorous State Based Methods

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.

ABZ 2024 – 10th International Conference on Rigorous State Based Methods

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.

ABZ 2024 – 10th International Conference on Rigorous State Based Methods

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.

ABZ 2024 – 10th International Conference on Rigorous State Based Methods

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.

ABZ 2024 – 10th International Conference on Rigorous State Based Methods

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.

ABZ 2024 – 10th International Conference on Rigorous State Based Methods

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

ABZ 2024 – 10th International Conference on Rigorous State Based Methods

Keynote speakers Here it is the list of keynote speakers (in alphabetic order by name). David Basin @ ETH Zurich Getting Electronic Payments Right

ABZ 2024 – 10th International Conference on Rigorous State Based Methods

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.