Z Users Grenoble, France, January 23–25, 2002. Springer, Lecture Notes in Computer Science, Volume 2272. Bert, D.; Bowen, J.P.; King, S.; Walden, M., eds. (2003). ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4–6, 2003. Springer, Lecture Notes in Computer Science, Volume 2651. Treharne, H.; King, S.; Henson, M.C.; Schneider, S., eds. (2005). ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13–15, 2005. Springer, Lecture Notes in Computer Science, Volume 3455. From 2008, the ZB conferences were expanded to be the ABZ conference, also including Abstract State Machines. Chair and secretary Successive chairs have been: John Nicholls (1992–1994) Jonathan Bowen (1994–2011) Steve Reeves (2011–) Successive secretaries have been: Mike Hinchey (1994–2011) Randolph Johnson (2011–) See also Formal methods References External links Z User Group 1992 establishments in the United Kingdom Organizations established in 1992 Formal methods organizations Z notation User groups Computer clubs in the United Kingdom