ZB2003 conference Virtual Library: Z notation

Z User Group (ZUG)


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
  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. 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
  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
  22. Mark Saaltink, ORA, Ottawa, Canada
  23. Thomas Santen, Technical University of Berlin, Germany
  24. Graeme Smith, University of Queensland, Australia
  25. Susan Stepney, Logica Cambridge, UK
  26. Ian Toyn, University of York, UK (New)
  27. Mark Utting, University of Waikato, New Zealand (New)
  28. Sam Valentine, LiveDevices, UK
  29. John Wordsworth, (New) University of Exeter, 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, ZB2002, was held in Grenoble, France, 23-25 January 2002, in cooperation with APCB. The local organizer was Didier Bert of the Laboratoire Logiciels Systèmes Réseaux (LSR), Instutute IMAG, Genoble, who supported the event. 87 delegates registered, up from previous years.

The next meeting is set to be (New) ZB2003, to be held at Turku, Finland, 4-6 June 2003. The local organizer will be Marina Waldén of Åbo Akademi University.

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

See also:


Contact Jonathan Bowen for further information.

Maintained by Jonathan Bowen as part of the Z archive.

Last updated 27 February 2003.