• Chair: Jonathan Bowen, South Bank University, London
• Secretary: Neville Dean, Anglia Polytechnic University
• Treasurer: Mike Hinchey, University of Nebraska at Omaha and University of Limerick

The following are currently committee members:

1. Ali Abdallah, South Bank University, London, UK
2. Jonathan Bowen, South Bank University, London, UK
3. Paolo Ciancarini, University of Bologna, Italy
4. Neville Dean, Anglia Polytechnic University, UK
5. John Derrick, The University of Kent at Canterbury, UK
6. Mark d'Inverno, University of Westminster, UK
7. Andy Evans, University of York, UK
8. Andreas Fett, Daimler-Benz Research Berlin, Germany
9. Andy Galloway, University of York, UK (local organizer)
10. David Garlan, Carnegie-Mellon University, USA
11. Wolfgang Grieskamp, Technische Universität Berlin, Germany
12. Henri Habrias, University of Nantes, France
13. Jonathan Hammond, Praxis Critical Systems, UK
14. Ian Hayes, University of Queensland, Australia
15. Mike Hinchey, University of Nebraska at Omaha, USA & University of Limerick, Ireland
16. Jonathan Jacky, University of Washington, USA
17. Randolph Johnson, National Security Agency, USA
18. Steve King, University of York, UK (local organizer)
19. Kevin Lano, Kings College London, UK
20. Shaoying Liu, Hiroshima City University, Japan
21. Jean-Francois Monin, France Telecom CNET DTL/MSV, France
22. Fiona Polack, University of York, UK (local organizer)
23. Norah Power, University of Limerick, Ireland
24. Mark Saaltink, ORA, Ottawa, Canada
25. Thomas Santen, FIRST, GMD, Germany
26. Alf Smith, DERA Malvern, UK
27. Susan Stepney, Logica Cambridge, UK
28. David Till, City University, London, UK
29. Sam Valentine, University of York, UK (local organizer - coordinator)
30. Jim Woodcock, Oxford University, UK
31. John Wordsworth, IBM Hursley UK Laboratories, UK

In addition, Jonathan Moffett, (University of York, UK) is helping with the financial arrangements for the ZB2000 conference.

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, ZUM'98, was held in Berlin, Germany, 24-26 September 1998. Local organization was aided by Daimler-Benz Research Berlin, TU Berlin and GMD FIRST.

The group also supported B'98, the 2nd International B Conference, Montpellier, France, 22-24 April 1998. See Steering Committee information.

Lists of previous ZUG committee members for the 1994, 1995, 1997 and 1998 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 24 August 2000.