Z is a formal notation (formal method) widely used in both academia and industry, for the specification and verification of both hardware and software systems.
The programme committee invites authors to submit papers on or related to the formal specification notation Z, in particular, and formal methods in general, for presentation and inclusion in the published Proceedings to be distributed at the conference.
The conference will also include tool demonstrations and displays by publishers.
An educational issues session is planned to follow the conference, and tutorials may be possible on the days directly preceding and following the main sessions.
Invited speakers from industrial application and academic research background will give presentations as part of the main conference sessions.
The schedule for submissions is as follows:
Submission of draft papers: 1st March 1998 EIS / Tutorial submissions: 1st May 1998 Notification of acceptance: 15th May 1998 Final copy for Proceedings: 1st July 1998 ZUM'98 in Berlin: 24-25 September 1998
Mike Hinchey (Conference Chair) New Jersey Institute of Technology Department of Computer and Information Science University Heights, Newark, NJ 07102-1982, USA Email: hinchey@cis.njit.edu Tel: +1-201-596-5750; Fax: +1-201-596-5777On-line and up-to-date conference information may be found under the following World Wide Web URL:
Jonathan Bowen University of Reading, Department of Computer Science Whiteknights, PO Box 225, Reading RG6 6AY, UK. Email: J.P.Bowen@reading.ac.uk Tel: +44-118-931-6544 Fax: +44-118-975-1994 URL: http://www.cs.reading.ac.uk/people/jpb/ Andreas Fett Daimler-Benz AG, Research and Technology Alt-Moabit 96a, D-10559 Berlin Email: Andreas.Fett@dbag.bln.DaimlerBenz.com Tel: +49-30-39982-209 Fax: +49-30-39982-107
Neville Dean (Education Session Chair) Anglia Polytechnic University East Road, Cambridge CB1 1PT, UK Email: c.n.dean@anglia.ac.uk Tel: +44-1223-363271 ext. 2329 Fax: +44-1223-352979
David Till City University, Department of Computer Science Northampton Square, London EC1V 0HB, UK Tel: +44-171-477-8552 Fax: +44-171-477-8587 Email: till@soi.city.ac.uk Wolfgang Grieskamp TU Berlin, FB13, IKS, Sekr FR5-13, Franklinstr. 28-29, D-10597 Berlin Email: wg@cs.tu-berlin.de
Stephan Herrmann GMD FIRST Rudower Chaussee 5, Geb. 13.10, D-12489 Berlin Tel: +49-30-6392-1870 Fax: +49-30-6392-1805 Email: sh@first.gmd.de
Ali Abdallah, The University of Reading, UK Jonathan Bowen, The University of Reading, UK Paolo Ciancarini, University of Bologna, Italy Neville Dean, Anglia Polytechnic University, UK John Derrick, The University of Kent at Canterbury, UK Mark d'Inverno, University of Westminster, UK Andy Evans, University of Bradford, UK Andreas Fett, Daimler-Benz Research Berlin, Germany (*) David Garlan, Carnegie-Mellon University, USA Wolfgang Grieskamp, Technische Universität Berlin, Germany (*) Henri Habrias, University of Nantes, France Jonathan Hammond, Praxis Critical Systems, UK Ian Hayes, University of Queensland, Australia Stephan Herrmann, GMD, Germany (*) Mike Hinchey, NJIT, USA & University of Limerick, Ireland Hans-Martin Hoercher, Vossloh System-Technik, Germany Jonathan Jacky, University of Washington, USA Stefan Jähnichen GMD & Technische Univ. Berlin, Germany (*) Randolph Johnson, National Security Agency, USA Kevin Lano, Imperial College, London, UK Shaoying Liu, Hiroshima City University, Japan Jean-Francois Monin, France Telecom CNET, France Peter Pepper, Technische Universität Berlin, Germany (*) Norah Power, University of Limerick, Ireland Chris Sennett, DERA Malvern, UK Alf Smith, DERA Malvern, UK David Till, City University, London, UK Sam Valentine, University of York, UK Matthias Weber, Daimler-Benz Research Berlin, Germany Jim Woodcock, Oxford University, UK John Wordsworth, IBM Hursley UK Laboratories, UK(*) Local organization.
Original version also available via anonymous FTP from Oxford: text, compressed PostScript and uncompressed PostScript formats (2 A4 pages).