ABZ 2027: 13th International Conference on Rigorous State Based Methods Braga, Portugal, June 14-18, 2027
---------------------------------------- First Call for Papers ABZ 2027: 13th International Conference on Rigorous State Based Methods Braga, Portugal, June 14-18, 2027 https://abz-conf.org/site/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. ABZ 2027 will have a main conference track, a case study track, a doctoral symposium, tutorials and workshops. ------------------- Important Dates ------------------- Abstract submission (all papers): February 8, 2027 AOE Paper submission: February 15, 2027 AOE Notificati...