Z User Group
group to promote the Z notation
The Z User Group (ZUG) was established in 1992 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
In 1985, the Z Users Meeting series was instigated by Ib Holm Sørensen (1949–2012), initially at Rewley House in Oxford. In 1991, the meeting moved to be organized by the University of York. From 1992, on its establishment, ZUG continued this series as a regular Z User Workshop (aka Z User Meeting, ZUM), approximately every 18 months initially. 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.
In 1999, the Z User Group participated in the FM'99 World Congress on Formal Methods in Toulouse, France. The group and the associated Z notation have been studied as a community of practice.
List of proceedings
The following proceedings were produced by the Z User Group:
Bowen, J.P.; Nicholls, J.E., eds.
This brief starts where responsible research should: with the source description of “Z User Group” as group to promote the Z notation. Everything that follows is an evidence route, not borrowed authority.
Why this record matters
The subject matters to the general reference register because the source frames it as group to promote the Z notation. Its deeper value depends on whether names, dates, institutions and citations support that framing.
Vocabulary and entity names are the principal evidence signals here, because they determine the precision of every later search. The source revision retrieved here is dated Jun 19, 2026. The linked authority identifier is Q8063360. None of the 0 selected statements returned an explicit reference. The first chronological checks are 1992, 1985, 1949 and 2012.
A concise general-reference account can conceal disagreements about scope, terminology or the weight assigned to individual sources. The source lead contains qualifying language; that uncertainty should survive quotation, summary and reuse. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Use the entry as an orientation point, then follow its citations and revision history. Names, dates and institutional relationships should be checked against the original record.
- Subject orientation
- Search vocabulary
- Locating named sources
The closest primary source, responsible institution and strongest cited specialist reference.
Three-step research path
- Establish the record: confirm the title “Z User Group”, its source revision and the description used here.
- Expand the search: follow Z User Group primary sources, Z User Group archive and User research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “Z User Group”?
- Which institution is responsible for the underlying evidence?
- Which cited source is closest to the event, object or claim?
Search terms from this dossier
This entry incorporates text from “Z User Group” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.