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-5777
On-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).