Z User Group
| Abbreviation | ZUG |
|---|---|
| Named after | Z notation |
| Formation | 14 December 1992 |
| Founder | John Nicholls |
| Founded at | London, England |
| Type | User group |
| Purpose | Support for Z notation activities, especially meetings |
| Location | |
Region served | International |
| Services | Conference organization |
| Methods | Z notation |
| Fields | Computer science, software engineering, formal methods |
Official language | English |
Chair | Steve Reeves |
Secretary | Randolph Johnson |
Key people | John Nicholls; Jonathan Bowen; Mike Hinchey; Steve King |
Main organ | Conference proceedings |
| Affiliations | Formal Methods Europe |
| Website | zuser.org |
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.