* Formal Methods * Z notation * B-Method * Z User Meetings

ZUG

9th International
Conference of Z Users
ZUM'95

7-8th September 1995
University of Limerick, Ireland

You may order the proceedings on-line.
See report on the meeting by Margaret West (Univ. of Leeds, UK).

See also Call for Participation, booking form, programme, colour poster, monochrome poster, a Limericks Competition, ZUM'94 proceedings, ZUM'95 proceedings, ZUG AGM and travel information

Note: if you have trouble printing the booking form, please use this text version of the booking form instead.


Organized by the Z User Group
In association with BCS FACS
Sponsored by BT, Forbairt, Praxis and University of Limerick
Supported by ESPRIT ProCoS-WG

The 9th International Conference of Z Users (ZUM'95), also known as the Z User Meeting, was held at the University of Limerick in the West of Ireland in September 1995. The meeting was the first such meeting to be held outside the UK.

Invited speakers

David Lorge Parnas, McMaster University, Canada
John Rushby, SRI International, USA
Jeannette Wing, Carnegie Mellon University, USA

The programme committee invited authors to submit papers on or related to the formal specification notation Z and associated methods such as the B-Method, in particular, and also formal methods in general, for presentation and inclusion in the published Proceedings.

An educational issues session followed the meeting, and tutorials were held on the days directly preceding the conference.

A Limericks Competition was held in association with the meeting, on the theme of formal methods and Z. David Gries gave a wonderful (New) after dinner speech at the Conference Banquet held at an Irish castle entirely in Limerick form ("A Glimmer(ick) of Hope").

Limerick (Shannon Airport) is easily reached by air, with several flights per day from London (Heathrow), Leeds/Bradford and Manchester, and direct flights from major cities in Europe and the US.

Pre-conference tutorials: 4-6th September 1995
Main Z User Meeting: 7-8th September 1995
Z Educational Issues Session: 9th September 1995
The proceedings have been published in the Springer-Verlag Lecture Notes in Computer Science series (volume 967) and were available at the meeting. A list of papers is available from an index to volumes 500 to 100 of the LNCS series. A Z Special Issue of the Information and Software Technology journal. (vol. 37, no. 5-6, May/June 1995) was also issued to delegates.

A meeting of the Z standard committee was held at Limerick on 6th September 1995.

General enquiries about the meeting and the Z User Group may be directed to:

Jonathan Bowen (Conference Chair)
Oxford University Computing Laboratory
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
Further information on the programme, including the invited speakers, may be obtained from:
Mike Hinchey (Programme Chair)
University of Cambridge Computer Laboratory
New Museums Site, Pembroke Street, Cambridge CB2 3QG, UK.
Queries concerning tutorials, and proposals for tool demonstrations, publisher's stands, etc. should be sent to:
Norah Power (Tutorial Chair & Local Organizer)
Dept. of Computer Science & Information Systems
University of Limerick, Plassey Technological Park, Limerick, Ireland.
Email: powern@ul.ie
Tel: +353-61-202769 (switchboard 333644) Fax: +353-61-330876
For bookings queries contact:
Gemma Ryan
Dept. of Computer Science & Information Systems
University of Limerick, Castletroy, Limerick.
Ireland.
Email: zum95@ul.ie
Tel: +353-61-202730 Fax: +353-61-330876
The proceedings have appeared as follows:
ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 1995, Jonathan Bowen and Mike Hinchey (eds.). Lecture Notes in Computer Science, volume 967, Springer-Verlag, 1995. ISBN 3-540-60271-2. XI, 571 pp. Softcover DM 110.

See also ZUM'94 and ZUM'97.