[logo] Z User Group

The Z User Group exists to promote use and development of the Z notation. For 1997 and ZUM'97, the officers were:

The following were committee members for ZUM'97:

Joan Arnold provides secretarial support under the auspices of the ESPRIT ProCoS-WG Working Group.

The main activity of the committee members is to organize and act as programme committee for Z User Meetings (now known as the International Conference of Z Users). The last meeting was ZUM'95. The next meeting, ZUM'97, is planned for 3-4 April 1997 at The University of Reading. Local organization will be undertaken by the Formal Methods Group in the Department of Computer Science, aided by the following specifically recruited committee members:

Christina Simmons (email C.M.L.Simmons@reading.ac.uk) is assisting with secretarial support for the organization of ZUM'97.

Lists of previous ZUG committee members for the 1994, 1995 meetings and the current meeting are also available.

See also the ZUG constitution.


Contact zforum-request@comlab.ox.ac.uk for further information.

Maintained by Jonathan Bowen as part of the Z archive.