The International Conference of Alloy, ASM, B, VDM, TLA and Z Users (ABZ 2014) covers various state-based approaches to formal methods, specifically Alloy, ASM, the B-Method, VDM, TLA, and the Z notation. ABZ 2014 was held in Toulouse↑, France↑, 2-6 June 2014.