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.
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
-
Sam Valentine,
LiveDevices, UK
-
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
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.