Loading Events

« All Events

  • This event has passed.

ABZ 2023

30 May 2023 - 2 June 2023

ABZ 2023 (9TH INTERNATIONAL CONFERENCE ON RIGOROUS STATE-BASED METHODS) will take place at Loria from Tuesday, 30th May to Friday, 2nd June.

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.

Program available at this address


30 May 2023
2 June 2023
Event Category: