[logo] [Virtual Library: Z notation]


Z User Group

Now accessible as http://www.zuser.org/


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. Currently the officers are:

The following are currently committee members:

  1. Ali Abdallah, South Bank University, London, UK
  2. Rob Arthan, Lemma 1, Reading, UK (New)
  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, (New) Microsoft Research, USA (New)
  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 (New)
  13. Jonathan Jacky, University of Washington, USA
  14. Randolph Johnson, National Security Agency, USA
  15. Steve King, University of York, UK
  16. Kevin Lano, Kings College London, UK
  17. Yves Ledru, LSR-IMAG, Grenoble, France (New)
  18. Jean-Francois Monin, France Telecom CNET DTL/MSV, France
  19. Fiona Polack, University of York, UK
  20. Norah Power, University of Limerick, Ireland
  21. Steve Reeves, University of Waikato, New Zealand (New)
  22. Mark Saaltink, ORA, Ottawa, Canada
  23. Thomas Santen, Technical University of Berlin, Germany
  24. Graeme Smith, University of Queensland, Australia (New)
  25. Susan Stepney, Logica Cambridge, UK
  26. Sam Valentine, (New) LiveDevices, UK
  27. 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 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, Grenoble, who are supporting the event. See (New) proceedings Lists of previous ZUG committee members for the 1994, 1995, 1997, 1998 and 2000 meetings are also available.

See also:


Contact jpbowen@zuser.org for further information.

Maintained by Jonathan Bowen as part of the Z archive.

Last updated 29 May 2001.