* Formal Methods * Z notation * B-Method * Meetings * ZUM
ZUG

11th International Conference of Z Users

ZUM'98

24-26 September 1998
Berlin, Germany


URL: http://www.zuser.org/zum98/

See joint winners of the Best Paper Prize
Papers presented by: John Derrick and David Cooper
CONGRATULATIONS!

Call for Participation including Conference Programme
(See also PDF format and PostScript format versions for printing)

Poster (A4, colour): PDF format, gzipped PostScript format, and GIF format
Registration forms: PDF format, PostScript format and plain text format

Local map: small GIF format, large GIF format, gzipped PostScript format, PostScript format

Travel information

See also: Call for Tool Demonstrations and original Call for Papers

Programme committee

Organized by the Z User Group.
In cooperation with the Daimler-Benz Research Berlin, GMD and TU-Berlin.
Sponsored by Daimler-Benz AG and Praxis Critical Systems.
Supported by BCS-FACS.

Schedule of important dates:
Sunday, 1st March 1998 Submission of draft papers
Friday, 1st May 1998 Submission of tutorial proposals and
Educational Issues Session proposals
Friday, 15th May 1998 Notification of acceptance
Wednesday, 1st July 1998 Final copy for Proceedings
Monday, 17th August 1998 Bursary applications deadline
Friday, 21st August 1998 Notification of bursaries
Tuesday, 1st September 1998 Tool demonstration deadline
ZUM'98 conference:
Wednesday pm, 23rd September 1998 ZUM'98 Tutorials
Thursday-Saturday am, 24-26th September 1998 ZUM'98 Conference
Saturday pm, 26th September 1998 ZUM'98 Educational Issues Session

The proceedings have appeared in the Springer-Verlag LNCS series as for as for previous ZUM proceedings:

Jonathan P. Bowen, Andreas Fett and Michael G. Hinchey (eds.), ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 1998, Proceedings. Springer-Verlag, Lecture Notes in Computer Science, Volume 1493, 1998. (ISBN 3-540-65070-9, Price: 90DM.)
The proceedings were issued to delegates at the conference. See (in PDF format): Preface; Poster (large, also gzipped PostScript); Table of Contents; Select Z Bibliography; Z FAQ; Author Index. See also BibTeX references for papers.

Invited speakers:

Dr. Klaus Grimm (Daimler-Benz AG, Germany)
Prof. Nancy Leveson (University of Washington, USA)
Prof. Dr. Ernst-Rüdiger Olderog (Universität Oldenburg, Germany)
Ib Sørensen (B-Core(UK) Limited, UK)

Conference Chair:
Mike Hinchey (University of Nebraska at Omaha, USA & University of Limerick, Ireland)

Programme Co-chairs:
Jonathan Bowen (University of Reading, UK)
Andreas Fett (Daimler-Benz AG, Germany)

Tutorial Chair:
David Till (City University, UK)

Local Organization and Tools Demonstrations:
Wolfgang Grieskamp (TU-Berlin, Germany - coordinator)
Stephan Herrmann (GMD, Germany)

Educational Issues Session Chair:
Neville Dean (Anglia Polytechnic University, UK)

Local organization is being undertaken by Daimler-Benz Research Berlin, GMD First and the Technical University of Berlin.

There have been ??? visitors to this page since 14th July 1997.

Berlin City Guides:

See also ZUM'97 and other Z User Meetings.


ProCoS
Information last updated on 15 October 1998.
Maintained by Jonathan Bowen.