Z User Group

ZUG has organised a series of Z User Meetings approximately every 18 months initially.{{cite book| title=Z User Workshop, York 1991 | url=https://books.google.com/books?isbn=1447132033 | editor-first=J.E. | editor-last=Nicholls | year=1992 | publisher=Springer | series=Workshops in Computing }}{{cite book| title=Z User Workshop, London 1992 | url=https://books.google.com/books?isbn=1447135563 | editor-first1=J.P. | editor-last1=Bowen | editor-first2=J.E. | editor-last2=Nicholls | year=1993 | publisher=Springer | series=Workshops in Computing }}{{cite book| title=Z User Workshop, Cambridge 1994 | url=https://books.google.com/books?isbn=1447134524 | isbn=3-540-19884-9 | editor-first1=J.P. | editor-last1=Bowen | editor-first2=J.A. | editor-last2=Hall | year=1994 | publisher=Springer | series=Workshops in Computing }} 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.Frappier, M., Glässer, U.; Khurshid, S., Laleau, R., and Reeves, S. (eds.), [https://www.springer.com/computer/theoretical+computer+science/book/978-3-642-11810-4 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}}.

The Z User Group participated at the FM'99 World Congress on Formal Methods in Toulouse, France, in 1999.{{cite web| url=http://vl.fmnet.info/fm99/usergroups/zug.html | archive-url=https://web.archive.org/web/20070706210024/http://vl.fmnet.info/fm99/usergroups/zug.html | url-status=dead | archive-date=July 6, 2007 | title=Z User Group Meeting (ZUG) | work=FM'99 World Congress | location=Toulouse, France | date=20–24 September 1999 }} The group and the associated Z notation have been studied as a community of practice.{{cite book| last1=Bowen | first1=J.P. |author-link1=Jonathan Bowen | last2=Reeves | first2=S. | author-link2=Steve Reeves (computer scientist) | date=2011 | chapter=From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community | editor-last1=Butler | editor-first1=M. | editor-link1=Michael Butler (computer scientist) | editor-last2=Schulte | editor-first2=W. | title=FM 2011: Formal Methods | series=Lecture Notes in Computer Science | volume=6664 | publisher=Springer | location=Berlin, Heidelberg | doi=10.1007/978-3-642-21437-0_24 | pages=308–322 }}

The following proceedings were produced by the Z User Group:{{cite web| url=https://dblp.org/db/conf/zum/index.html | title=International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ) – International Conference of B and Z Users (ZB) – International Z User Meeting (ZUM) – Z User Workshop | work=DBLP | accessdate=28 July 2022 }}{{cite news| first=Jonathan | last=Bowen | title=The Z User Group: Thirty Years After | work=FACS FACTS | publisher=BCS-FACS | issue=2022-2 | pages=50–56 | date=July 2022 | url=https://www.bcs.org/media/9401/facs-jul22.pdf | accessdate=3 August 2022 }}

• Bowen, J.P.; Nicholls, J.E., eds. (1993). Z User Workshop, London 1992, Proceedings of the Seventh Annual Z User Meeting, 14–15 December 1992. Springer, Workshops in Computing. {{ISBN|978-0387198187}}
• Bowen, J.P.; Hall, J.A., eds. (1994). Z User Workshop, Cambridge 1994, Proceedings of the Eighth Annual Z User Meeting, 29–30 June 1994. Springer, Workshops in Computing. {{ISBN|978-3540198840}}
• Bowen, J.P.; Hinchey, M.G, eds. (1995). ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7–9, 1995. Springer, Lecture Notes in Computer Science, Volume 967. {{ISBN|978-3540602712}}
• Bowen, J.P.; Hinchey, M.G.; Till, D., eds. (1997). ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3–4, 1997. Springer, Lecture Notes in Computer Science, Volume 1212. {{ISBN|978-3540627173}}
• Bowen, J.P.; Fett, A.; Hinchey, M.G., eds. (1998). ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24–26, 1998. Springer, Lecture Notes in Computer Science, Volume 1493. {{ISBN|978-3540650706}}

The following ZB conference proceedings were jointly produced with the Association de Pilotage des Conférences B (APCB), covering the Z notation and the related B-Method:

• Bowen, J.P.; Dunne, S.; Galloway, A.; King. S., eds. (2000). ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 – September 2, 2000. Springer, Lecture Notes in Computer Science, Volume 1878. {{ISBN|978-3540679448}}
• Bert, D.; Bowen, J.P.; Henson, M.C.; Robinson, K., eds. (2002). ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002. Springer, Lecture Notes in Computer Science, Volume 2272. {{ISBN|978-3540431664}}
• 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. {{ISBN|978-3540402534}}
• 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. {{ISBN|978-3540255598}}

From 2008, the ZB conferences were expanded to be the ABZ conference, also including abstract state machines.Börger, E.; Butler, M.J.; Bowen, J.P.; Boca, P., eds. (2008). Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16–18, 2008. Springer, Lecture Notes in Computer Science, Volume 5238. {{ISBN|978-3540876021}}

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–)

• Formal methods

{{reflist}}

• [http://www.zuser.org/ Z User Group]

Category:1992 establishments in the United Kingdom

Category:Organizations established in 1992

Category:Formal methods organizations

Category:Z notation

Category:User groups

Category:Computer clubs in the United Kingdom