ABZ 2027 – 13th International Conference on Rigorous State Based Methods

Braga (Portugal) - June 14 — June 18 2027

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. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.

The 13th instalment of the ABZ conference will be held in the University of Minho, Braga, Portugal.

Organization