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:
-
Ali Abdallah,
South Bank University, London, UK
-
Rob Arthan,
Lemma 1, Reading, UK
-
Jonathan Bowen,
South Bank University, London, UK
-
Paolo Ciancarini,
University of Bologna, Italy
-
Neville Dean,
Anglia Polytechnic University, UK
-
John Derrick,
The University of Kent at Canterbury, UK
-
Mark d'Inverno,
University of Westminster, UK
-
Wolfgang Grieskamp,
Microsoft Research, USA
-
Henri Habrias,
University of Nantes, France
-
Jonathan Hammond,
Praxis Critical Systems, UK
-
Ian Hayes,
University of Queensland,
Australia
-
Martin Henson,
University of Essex, UK
-
Jonathan Jacky,
University of Washington, USA
-
Randolph Johnson,
National Security Agency, USA
-
Steve King,
University of York, UK
-
Kevin Lano,
Kings College London,
UK
-
Yves Ledru,
LSR-IMAG, Grenoble, France
-
Jean-Francois Monin,
France Telecom CNET DTL/MSV, France
-
Fiona Polack,
University of York, UK
-
Norah Power,
University of Limerick,
Ireland
-
Steve Reeves,
University of Waikato, New Zealand
-
Mark Saaltink,
ORA, Ottawa, Canada
-
Thomas Santen,
Technical University of Berlin,
Germany
-
Graeme Smith,
University of Queensland, Australia
-
Susan Stepney,
Logica Cambridge, UK
-
Ian Toyn,
University of York, UK
-
Mark Utting,
University of Waikato, New Zealand
-
Sam Valentine,
LiveDevices, UK
-
John Wordsworth,
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
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
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.