/tag/abz27/ABZ'27Source Themes Academic (https://sourcethemes.com/academic/)en-usCopyright © 2026 ABZ ConferenceTue, 18 May 2027 00:00:00 +0000/img/https:/github.com/abz-conf/abz-conf.logo/raw/master/obj/rect/256.png/tag/abz27//2027/Tue, 18 May 2027 00:00:00 +0000/2027/<!--<meta http-equiv="refresh" content="0; URL='../site/2027'" />--> <p>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.</p>