• Chair: Jonathan Bowen, South Bank University, London
• Secretary: Neville Dean, Anglia Polytechnic University
• Treasurer: Steve King, University of York

The following are currently committee members:

1. Ali Abdallah, South Bank University, London, UK
2. Rob Arthan, Lemma 1, Reading, UK
3. Jonathan Bowen, South Bank University, London, UK
4. Paolo Ciancarini, University of Bologna, Italy
5. Neville Dean, Anglia Polytechnic University, UK
6. John Derrick, The University of Kent at Canterbury, UK
7. Mark d'Inverno, University of Westminster, UK
8. Wolfgang Grieskamp, Microsoft Research, USA
9. Henri Habrias, University of Nantes, France
10. Jonathan Hammond, Praxis Critical Systems, UK
11. Ian Hayes, University of Queensland, Australia
12. Martin Henson, University of Essex, UK
13. Mike Hinchey, University of Queensland, Australia
14. Jonathan Jacky, University of Washington, USA
15. Randolph Johnson, National Security Agency, USA
16. Steve King, University of York, UK
17. Kevin Lano, Kings College London, UK
18. Shaoying Liu, Hiroshima City University, Japan
19. Jean-Francois Monin, France Telecom CNET DTL/MSV, France
20. Fiona Polack, University of York, UK
21. Norah Power, University of Limerick, Ireland
22. Steve Reeves, University of Waikato, New Zealand
23. Mark Saaltink, ORA, Ottawa, Canada
24. Thomas Santen, FIRST, GMD, Germany
25. Alf Smith, DERA Malvern, UK
26. Susan Stepney, Logica Cambridge, UK
27. Sam Valentine, University of York, UK
28. John Wordsworth, The University of Reading, UK

The main activity of the committee members is to organize and act as programme committee for the International Conference of Z Users (also known as the Z User Meeting, hence the acronym) The last meeting, ZB2000, was held in York, UK, 29 August - 2 September 2000 in cooperation with the International B Conference Steering Committee (APCB).

The next meeting is tentively set to be ZB2002, Grenoble, France, 23-25 January 2002, again in cooperation with APCB. The local organizer is Didier Bert of the Laboratoire Logiciels Systèmes Réseaux (LSR), Instutute IMAG, Genoble, who are supporting the event.

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

See also:

• ZUG constitution.

• Z User Group Meeting at the FM'99 World Congress, Toulouse, France, 20-24 September 1999.

• B User Group (BUG).

• The International B Conference Steering Committee (Association de Pilotage des Conférences B - APCB) which organizes B conferences and liaises with ZUG.

• ZB2000, International Conference of B and Z Users, University of York, UK, 29 August - 2 September 2000.

Maintained by Jonathan Bowen as part of the Z archive.

Last updated 12 January 2001.