Z User Group

Virtual Library

---

Computing

---

Software engineering

---

Formal methods

---

Z notation

---

ZUG Constitution

---

Z User Meeting

Next ABZ conference: ABZ2012: Pisa↑, Italy↑, 2012

Last ABZ conference: ABZ 2010: Orford, Quebec↑, Canada↑, 23–25 February 2010
First ABZ conference: ABZ 2008, British Computer Society, London, UK, 16-18 September 2008
Last ZUM event: ZUM 2007, 17th International Z User Meeting, part of ICECCS 2007, Auckland, New Zealand, 11 July 2007

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 Monday 14th December 1992 during ZUM'92. Currently the officers are:

• Chair: Jonathan Bowen, London South Bank University↑ / University of Westminster↑, UK
• Secretary: Mike Hinchey↑, University of Limerick↑, Ireland
• Treasurer: Mark d'Inverno, Goldsmiths College↑, University of London↑, UK

The following are ZUG steering committee members and a star (*) indicates a ABZ2008 programme committee member:

1. Keijiro Araki, Kyushu University, Japan
2. Rob Arthan, Lemma 1, Reading, UK
3. * Jonathan Bowen, London South Bank University, UK (Programme Co-Chair)
4. Neville Dean, Anglia Polytechnic University, UK
5. * John Derrick, University of Sheffield, UK
6. Jin Song Dong, National University of Singapore
7. Mark d'Inverno, University of Westminster, UK
8. Leo Freitas, The University of York, UK
9. Wolfgang Grieskamp, Microsoft Research, USA
10. * Martin Henson, University of Essex, UK
11. Rob Hierons, Brunel University, UK
12. * Mike Hinchey, LERO, University of Limerick, Republic of Ireland
13. Jonathan Jacky, University of Washington, USA
14. * Randolph Johnson, National Security Agency, USA
15. Steve King, University of York, UK
16. * Yves Ledru, LSR-IMAG, Grenoble, France
17. Petra Malik, Victoria University of Wellington, New Zealand
18. Fiona Polack, University of York, UK
19. * Steve Reeves, University of Waikato, New Zealand
20. Mark Saaltink, ORA, Ottawa, Canada
21. Thomas Santen, Technical University of Berlin, Germany
22. Graeme Smith, University of Queensland, Australia
23. Susan Stepney, University of York, UK
24. Ian Toyn, University of York, UK
25. * Mark Utting, University of Waikato, New Zealand
26. * Sergiy Vilkomir, East Carolina University, USA
27. Jim Woodcock, The University of York, UK

The main activity of the committee members is to organize and act as programme committee for the Z User Meeting. (aka the International Conference of Z Users). From 2000 to 2005, this was organized jointly in cooperation with the International B Conference Steering Committee (APCB) as the International Conference of B and Z Users (ZB).

The last ZB meeting was ZB2005, held in the United Kingdom↑, 13–15 April 2005. The local organizers were Prof. Steve Schneider and Dr Helen Treharne.

An ABZ 2008 conference was held at the BCS offices, London, UK, 15–18 September 2008. The event was supported by BCS-FACS and covered ASM, B and Z. The chairs were Egon Börger (ASM), Jonathan Bowen (Z) and Michael Butler (B) and Paul Boca (local organization).

Lists of previous ZUG committee members for earlier Z User Meetings are available, linked from the ZUM page.

See also:

• ZUG Constitution.
• Z User Group Meeting at the FM'99 World Congress, Toulouse, France, 20-24 September 1999.
• The International B Conference Steering Committee (Association de Pilotage des Conférences B — APCB) which organizes B conferences and liaises with ZUG.

---

Contact Jonathan Bowen for further information.
Maintained by Jonathan Bowen as part of the Z archive.
Last updated 18 March 2010.