[logo]


Z User Group


The Z User Group was formally constituted on Monday 14th December 1992 during ZUM'92 and exists to promote use and development of the Z notation. In 1998 the officers were:

The following were committee members for ZUM'98:

  1. Ali Abdallah, The University of Reading, UK
  2. Jonathan Bowen, The University of Reading, 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 Bradford, UK
  8. Andreas Fett, Daimler-Benz Research Berlin, Germany (local organization)
  9. David Garlan, Carnegie-Mellon University, USA
  10. Wolfgang Grieskamp, Technische Universität Berlin, Germany (local organization - coordinator)
  11. Henri Habrias, University of Nantes, France
  12. Jonathan Hammond, Praxis Critical Systems, UK
  13. Ian Hayes, University of Queensland, Australia
  14. Stephan Herrmann, GMD, Germany (local organization)
  15. Mike Hinchey, University of Nebraska at Omaha, USA & University of Limerick, Ireland
  16. Hans-Martin Hörcher, Vossloh System-Technik GmbH, Germany
  17. Jonathan Jacky, University of Washington, USA
  18. Stefan Jähnichen GMD & TU Berlin, Germany (local organization)
  19. Randolph Johnson, National Security Agency, USA
  20. Kevin Lano, Imperial College, London, UK
  21. Shaoying Liu, Hiroshima City University, Japan
  22. Jean-Francois Monin, France Telecom CNET DTL/MSV, France
  23. Peter Pepper, Technische Universität Berlin, Germany (local organization)
  24. Norah Power, University of Limerick, Ireland
  25. Alf Smith, DERA Malvern, UK
  26. David Till, City University, London, UK
  27. Sam Valentine, University of York, UK
  28. Matthias Weber, Daimler-Benz Research Berlin, Germany (local organization)
  29. Jim Woodcock, Oxford University, UK
  30. John Wordsworth, IBM Hursley UK Laboratories, 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 was ZUM'97. The next meeting, ZUM'98, is planned for 24-26 September 1998 in Berlin, Germany. Local organization will be aided by Daimler-Benz Research Berlin, who will also provide sponsorship.

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 and 1997 meetings are also available.

See also:


Contact J.P.Bowen@reading.ac.uk for further information.

Maintained by Jonathan Bowen as part of the Z archive.