Formal Methods Z notation B-Method Meetings ZUM

ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, 3-4 April 1997, Jonathan Bowen, Mike Hinchey and David Till (eds.). Springer-Verlag, LNCS 1212. ISBN 3-540-62717-0.

Programme Co-chairs: Mike Hinchey (NJIT, USA & University of Limerick, Ireland) and David Till (City University, London, UK).

Local organization was undertaken by the Formal Methods Group in the Department of Computer Science, aided by Ali Abdallah (for Tools demonstrations) and Nimal Nissanke.

Brief contact information, further information on Reading and other travel information is available.

Invited speakers:

• Egon Börger (University of Pisa, Italy)
• Anthony Hall (Praxis Critical Sustems, UK)
• Constance Heitmeyer (NRL, USA)

There have been visitors to this page since 7^th March 1996.

• ZUM'95 and other Z User Meetings.

• The ProCoS-WG Working Group partners to attend both events.

• The Museum of English Rural Life on the campus, where a reception sponsored by Academic Press took place on the evening of Wednesday 2 April 1997, to launch their new International Series in Formal Methods.

• The Great House at Sonning, a village just downstream from Reading, where the conference dinner tool place on the evening of Thursday 3 April 1997.

• An optional boat trip on the River Thames near Reading took place on the evening of Friday 4 April 1997.

See travel information and bursaries for students attending ZUM'97.

The Call for Participation and poster are available in PDF format. There is also a plain text Call for Participation and separate booking form (also in DOS format for PC users).