Last 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
• Secretary: Neville Dean, Anglia Polytechnic University
• Treasurer: Steve King, University of York

The following are currently committee members:

1. Keijiro Araki, Kyushu University, Japan
2. Rob Arthan, Lemma 1, Reading, UK
3. Jonathan Bowen, London South Bank University, UK
4. Neville Dean, Anglia Polytechnic University, UK
5. John Derrick, The University of Kent at Canterbury, UK
6. Jin Song Dong, National University of Singapore
7. Mark d'Inverno, University of Westminster, UK
8. Wolfgang Grieskamp, Microsoft Research, USA
9. Ian Hayes, University of Queensland, Australia
10. Martin Henson, University of Essex, UK (proceedings editor)
11. Rob Hierons, Brunel University, UK
12. Jonathan Jacky, University of Washington, USA
13. Randolph Johnson, National Security Agency, USA
14. Steve King, University of York, UK (proceedings editor)
15. Kevin Lano, King's College London, UK
16. Yves Ledru, LSR-IMAG, Grenoble, France
17. Andrew Martin, University of Oxford, UK
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. Sam Valentine, York, UK

The main activity of the committee members is to organize and act as programme committee for the International Conference of B and Z Users organized jointly in cooperation with the International B Conference Steering Committee (APCB). Previously meets have been known as the International Conference of Z Users and the Z User Meeting.

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

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 28 May 2005.