Z User Group
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. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.Meetings and conferences
ZUG has organised a series of Z User Meetings approximately every 18 months initially. From 2000, these became the ZB Conference, and from 2008 the ABZ Conference. In 2010, the ABZ Conference also includes Alloy, a Z-like specification language with associated tool support.
The Z User Group participated at the FM'99 World Congress on Formal Methods in Toulouse, France, in 1999.Chair and secretary
Successive chairs have been:
- John Nicholls
- Jonathan Bowen
- Steve Reeves
Successive secretaries have been:
- Mike Hinchey
- Randolph Johnson
