Computing
Software engineering
Formal methods
Alloy — ASM
B — VDM — Z
The Z User Group (ZUG) supports the ABZ conference.
The International Conference of Alloy, ASM, B, VDM, TLA and Z Users (ABZ 2016) covers various state-based approaches to formal methods, specifically Alloy, ASM, the B-Method, VDM, TLA, and the Z notation. It is planned for ABZ 2016 to be held in Linz↑, Austria↑, 23–27 May 2016.