Next conference: ZUM 2007, 17th International Z User Meeting, part of ICECCS 2007, Auckland, New Zealand, 11 July 2007

Last conference: ZUM 2006, 16th Z User Meeting, part of the 2nd Systems and Software Week, Columbia, Maryland, USA, 24-28 April 2006 (see also text version)

Previous conference: ZB2005, University of Surrey, Guildford, United Kingdom, 13-15 April 2005

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, UK
• Secretary: Mike Hinchey, NASA Goddard Space Flight Center, USA
• Treasurer: Mark d'Inverno, University of Westminster, UK

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

1. * Keijiro Araki, Kyushu University, Japan
2. * Rob Arthan, Lemma 1, Reading, UK
3. * Jonathan Bowen, London South Bank University, UK (Conference 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. Wolfgang Grieskamp, Microsoft Research, USA
9. * Martin Henson, University of Essex, UK
10. * Rob Hierons, Brunel University, UK
11. * Mike Hinchey, NASA Goddard Space Flight Center, USA (Programme Co-Chair)
12. Jonathan Jacky, University of Washington, USA
13. * Randolph Johnson, National Security Agency, USA (Programme Co-Chair)
14. * Steve King, University of York, UK
15. * Yves Ledru, LSR-IMAG, Grenoble, France
16. Fiona Polack, University of York, UK
17. Steve Reeves, University of Waikato, New Zealand
18. Mark Saaltink, ORA, Ottawa, Canada
19. Thomas Santen, Technical University of Berlin, Germany
20. * Graeme Smith, University of Queensland, Australia
21. Susan Stepney, University of York, UK
22. Ian Toyn, University of York, UK
23. Mark Utting, University of Waikato, New Zealand
24. * Sergiy Vilkomir, University of Limerick, Ireland

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.

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 in planned at the BCS-FACS and will cover ASM, B and Z. The chairs will be Egon Börger (ASM), Jonathan Bowen (Z) and Michael Butler (B) and Paul Boca (local organization).

Lists of previous ZUG committee members for the 1994, 1995, 1997, 1998, 2000, 2002, 2003 and 2005 meetings are available.

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.

Maintained by Jonathan Bowen as part of the Z archive.

Last updated 5 March 2007.