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
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