Z User Group

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems.[1][2] It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting[3] in London, England.

Meetings and conferences[edit]

ZUG has organised a series of Z User Meetings approximately every 18 months initially.[4][3][5] From 2000, these became the ZB Conference (jointly with the B-Method, co-organized with APCB), and from 2008 the ABZ Conference (with Abstract State Machines as well). In 2010, the ABZ Conference also includes Alloy, a Z-like specification language with associated tool support.[6]

The Z User Group participated at the FM'99 World Congress on Formal Methods in Toulouse, France, in 1999.[7]

Chair and secretary[edit]

Successive chairs have been:

Successive secretaries have been:

See also[edit]


  1. ^ Bowen, J.P. (September 1993). "Z User Group activities". JFIT News. 46. p. 5.
  2. ^ Bowen, J.P. (1994). "Z User Meeting Activities". High Integrity Systems. 1 (1). pp. 93–94.
  3. ^ a b Bowen, J.P.; Nicholls, J.E., eds. (1993). Z User Workshop, London 1992. Workshops in Computing. Springer.
  4. ^ Nicholls, J.E., ed. (1992). Z User Workshop, York 1991. Workshops in Computing. Springer.
  5. ^ Bowen, J.P.; Hall, J.A., eds. (1994). Z User Workshop, Cambridge 1994. Workshops in Computing. Springer. ISBN 3-540-19884-9.
  6. ^ Frappier, M., Glässer, U.; , Khurshid, S., Laleau, R., and Reeves, S. (eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22–25, 2010, Proceedings, Springer-Verlag, Lecture Notes in Computer Science, Volume 5977, 2010. ISBN 978-3-642-11810-4.
  7. ^ "Z User Group Meeting (ZUG)". FM'99 World Congress. Toulouse, France. 20–24 September 1999.

External links[edit]