Welcome to ABZ 2023,  May 30- June 2  2023, LORIA (CNRS, INRIA,Université de Lorraine),  Nancy, France

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.

ABZ 2023 will propose a  scientific programme  with scientific talks based on accepted research papers, keynote speakers, tutorials,  satellite workshops.

Please visit the website abz2023.loria.fr