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:
-
Ali Abdallah,
The University of Reading, UK
-
Jonathan Bowen,
The University of Reading, 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
-
Andy Evans,
University of Bradford, UK
-
Andreas Fett,
Daimler-Benz
Research Berlin, Germany
(local organization)
-
David Garlan,
Carnegie-Mellon University, USA
-
Wolfgang Grieskamp,
Technische Universität Berlin, Germany
(local organization - coordinator)
-
Henri Habrias,
University of Nantes, France
-
Jonathan Hammond,
Praxis Critical Systems, UK
-
Ian Hayes,
University of Queensland,
Australia
-
Stephan Herrmann,
GMD, Germany
(local organization)
-
Mike Hinchey,
University of Nebraska at Omaha,
USA &
University of Limerick,
Ireland
-
Hans-Martin Hörcher,
Vossloh System-Technik GmbH,
Germany
-
Jonathan Jacky,
University of Washington, USA
-
Stefan Jähnichen
GMD &
TU Berlin, Germany
(local organization)
-
Randolph Johnson,
National Security Agency, USA
-
Kevin Lano,
Imperial College, London, UK
-
Shaoying Liu,
Hiroshima City University, Japan
-
Jean-Francois Monin,
France Telecom CNET DTL/MSV, France
-
Peter Pepper,
Technische Universität Berlin, Germany
(local organization)
-
Norah Power,
University of Limerick,
Ireland
-
Alf Smith,
DERA Malvern, UK
-
David Till,
City University, London, UK
-
Sam Valentine,
University of York, UK
-
Matthias Weber,
Daimler-Benz
Research Berlin, Germany
(local organization)
-
Jim Woodcock,
Oxford University, UK
-
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.