Z User Meetings

International Conference of Z Users

The Z User Group organizes the International Conference of Z Users series, previously known as the Z User Meeting (ZUM).

An informal Z User Group Meeting (one day duration) was held at the FM'99 World Congress on Formal Methods, Toulouse, France, 20-24 September 1999.

The last meeting was 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, Genoble, who supported the event.

The next planned meeting is ZB2003, Turku, Finland, Summer 2003.

List of previous meetings

The following other Z User Meetings have already taken place:

Z User Meeting, Rewley House, 1 Wellington Square, Oxford, December 1986. Organized by Ib Sørensen, Oxford University Computing Laboratory. No proceedings.
Proceedings of Z Users Meeting, 1 Wellington Square, Oxford, Jonathan Bowen (ed.), Oxford University Computing Laboratory, Oxford University, 23pp, December 1987.
Proceedings of the Third Annual Z Users Meeting, Jonathan Bowen (ed.), Oxford University Computing Laboratory, Oxford University, 21pp, December 1988.
Z User Workshop, Oxford 1989, John E. Nicholls (ed.). Springer-Verlag, Workshops in Computing, 1990. ISBN 3-540-19627-7.
Z User Workshop, Oxford 1990, John E. Nicholls (ed.). Springer-Verlag, Workshops in Computing, 1991. ISBN 3-540-19672-2.
Z User Workshop, York 1991, John E. Nicholls (ed.). Springer-Verlag, Workshops in Computing, 1992. ISBN 3-540-19780-X.
Z User Workshop, London 1992, Jonathan Bowen and John E. Nicholls (eds.). Springer-Verlag, Workshops in Computing, 1993. ISBN 3-540-19818-0.
Z User Workshop, Cambridge 1994, Jonathan Bowen and Anthony Hall (eds.). Springer-Verlag, Workshops in Computing, 1994. ISBN 3-540-19884-9.
ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, 7-9 September 1995, proceedings, Jonathan Bowen and Mike Hinchey (eds.). Springer-Verlag, LNCS 967. September 1995. ISBN 3-540-60271-2.
ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, 3-4 April 1997, proceedings, Jonathan Bowen, Mike Hinchey and David Till (eds.). Springer-Verlag, LNCS 1212. April 1997. ISBN 3-540-62717-0.
ZUM'98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, 24-26 September 1998, proceedings, Jonathan Bowen, Andreas Fett and Mike Hinchey (eds.). Springer-Verlag, LNCS 1493. September 1998. ISBN 3-540-65070-9.
Z User Group Meeting, 23-24 September 1999. Workshop held as part of FM'99 World Congress on Formal Methods, Toulouse, France, 20-24 September 1999. No proceedings.
Since the 12th meeting, conferences have been held in conjunction with the International Conference on the B Method:
ZB2000: Formal Specification and Development in Z and B, 1st International Conference of B and Z Users, York, UK, 29 August - 2 September 2000, Jonathan P. Bowen, Steve Dunne, Andy Galloway and Steve King (eds.). Springer-Verlag, LNCS 1878, August 2000. ISBN 3-540-67944-8.
ZB2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, 23-25 January 2002, Didier Bert, Jonathan P. Bowen, Martin C. Henson and Ken Robinson (eds.). Springer-Verlag, LNCS 2272, January 2002. ISBN 3-540-43166-7.

The proceedings have been formally published since the 4th meeting and the final proceedings have been made available at the meeting itself since the 8th meeting.

General information on some previous meetings

The 9th International Conference of Z Users (ZUM'95), was held at the University of Limerick, Limerick, Ireland, 7-8 September 1995, at the invitation of the Department of Computer Science and Information Systems (CSIS). There was a Limericks Competition associated with the meeting for aspiring poets! See information on the proceedings.

ZUM'94 was held on 29-30 June 1994 at St. John's College in Cambridge, United Kingdom. The meetings was held in association with BCS FACS and was supported by the ESPRIT ProCoS-WG Working Group as one of its open meetings. Copies of the poster are still available. The invited speakers were David Garlan (CMU), Mike Gordon (Cambridge), Leslie Lamport (DEC SRC), Jim Woodcock (Oxford), Robert Worden (Logica), and Maurice Wilkes (Olivetti) as an after dinner speaker. Information on the published ZUM'94 proceedings and a report on the meeting are accessible. Tutorials were held on the two days preceding the meeting and a special session on educational issues was also held on 1 July 1994.

An announcement of the availability of this and other formal methods WWW pages was made at the meeting. It was noted that the availability of coffee can be checked at Cambridge. At the time, this received around 1000 accesses a day. The formal methods pages at Oxford only receive around 200 accesses per day!

Previous Z User Meeting proceedings (e.g., ZUM'92) have been published by Springer-Verlag in their Workshops in Computing series since the 1989 meeting. Early proceedings were published informally by the Oxford University Computing Laboratory and the main parts of the 1987 and 1988 meetings are available on-line.