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 satellite events will start on Monday, June 7, with a Festcolloquium on the Occasion of Egon Börger's 75th Birthday. On Tuesday, June 8, the 9th Rodin Workshop will take place followed by a tutorial on how to use B to program the CLEARSY safety platform. In parallel to the workshop, another tutorial will show how to create DSLs with Jetbrain's MPS.
The main conference will take place from Wednesday morning till Friday evening, including two keynotes from Ana Cavalcanti, University of York and Gilles Dowek, INRIA and ENS Paris-Saclay.
Thanks to our sponsor, Elektrobit, all events are completely free of charge for everyone!
More details about all these events can be found on our separate website: https://abz2021.uni-ulm.de