From J.P.Bowen@reading.ac.uk Wed Aug 7 15:51:21 BST 1996 Article: 1683 of comp.specification.z Path: news.ox.ac.uk!news From: bowen@comlab.ox.ac.uk (Jonathan Bowen) Newsgroups: comp.specification.z,comp.specification,comp.software-eng Subject: Final CFP: ZUM'97, 10th International Conference of Z Users Date: 7 Aug 1996 14:49:50 GMT Organization: Dept of Computer Science, University of Reading, UK Lines: 155 Expires: 1 Sep 1996 Message-ID: <4uaaee$5e1@news.ox.ac.uk> Reply-To: J.P.Bowen@reading.ac.uk (Jonathan Bowen) NNTP-Posting-Host: gruffle.comlab.ox.ac.uk Keywords: conference, formal methods, Z notation Originator: bowen@gruffle.comlab Xref: news.ox.ac.uk comp.specification.z:1683 comp.software-eng:33008 Notice of Meeting and Second Call for Papers ZUM'97 10th International Conference of Z Users Organized by the Z User Group In cooperation with the ESPRIT ProCoS-WG Working Group (8964) Supported by BCS-FACS Sponsored by Praxis 3-4th April 1997 University of Reading, England The 10th International Conference of Z Users (ZUM'97) will be held at University of Reading, England, in April 1997. 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. The following invited speakers will give presentations as part of the main sessions of the conference: - Egon Boerger, University of Pisa, Italy - Anthony Hall, Praxis, UK **** NOTE: THE SUBMISSION DEADLINE IS 16 AUGUST 1996 **** The schedule for submissions is as follows: Submission of draft paper: 16th August 1996 Tutorial proposals due: 18th October 1996 Notification of acceptance: 15th November 1996 Final copy for Proceedings: 10th January 1997 Z User Meeting in Reading: 3--4th April 1997 Further Information ------------------- General enquiries about the meeting and the Z User Group may be directed to: Jonathan Bowen (Conference Chair) University of Reading, Department of Computer Science Whiteknights, BO 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/ On-line and up-to-date conference information may be found under the following World Wide Web URL: http://www.cs.reading.ac.uk/archive/z/zum97/ Submissions ----------- Electronic submissions are encouraged. Send your submission as a compressed PostScript file to zum97-papers@soi.city.ac.uk, as well as a separate (plain ASCII) message containing the title of the paper, list of authors, and contact information for the corresponding author. Alternatively, four copies of submitted papers of not more than 20 pages in length (minimum 11pt, single-line spacing) should be sent to: David Till / Mike Hinchey (Programme Co-Chairs) Department of Computer Science, City University London EC1V 0HB, UK Email: till@soi.city.ac.uk or hinchey@cis.njit.edu Tel: +44-171-477-8552 Fax: +44-171-477-8587 Educational Issues ------------------ Papers for the educational issues session should be submitted as above, but clearly marked for consideration for the education session, which is planned to follow the meeting. Full papers accepted for the session will be considered for publication in the main proceedings. Short papers, posters, etc., should be sent by 18 October 1996 and addressed to: Neville Dean (Education Session Chair) Anglia Polytechnic University East Road, Cambridge CB1 1PT, UK Email: cdean@bridge.anglia.ac.uk Tel: +44-1223-363271 ext. 2329 Fax: +44-1223-352979 Tutorials --------- Proposals for tutorials should be sent by 18 October 1996 to zum97-tuts@soi.city.ac.uk, or to: Sam Valentine (Tutorial Chair) Department of Computer Science, University of York Heslington, York YO1 5DD, UK Email: sam@minster.york.ac.uk Tel: +44-1904-433386 Tool Demonstrations, etc. ------------------------- Proposals for tool demonstrations, publishers' stands, posters for display at the conference, etc., should be sent to zum97-demos@soi.city.ac.uk, or to either of the local organizers: Ali Abdallah / Nimal Nissanke (Local Organizers) University of Reading, Department of Computer Science Whiteknights, PO Box 225, Reading RG6 6AY, UK Email: A.Abdallah@reading.ac.uk or N.Nissanke@reading.ac.uk Tel: +44-118-931-8608 Fax: +44-118-975-1994 Programme Committee ------------------- Jonathan Bowen, University of Reading, UK Paolo Ciancarini, University of Bologna, Italy Neville Dean, Anglia Polytechnic University, UK David Garlan, Carnegie-Mellon University, USA Martine Guerlus, Telecom CNET, France Howard Haughton, JP Morgan, UK Jonathan Hammond, Praxis, UK Ian Hayes, University of Queensland, Australia Mike Hinchey, NJIT, USA & University of Limerick, Ireland Hans-Martin Hoercher, DST Deutsche System-Technik GmbH, Germany Jonathan Jacky, University of Washington, USA Kevin Lano, Imperial College, London, UK Norah Power, University of Limerick, Ireland Chris Sennett, DRA Malvern, UK David Till, City University, London, UK Sam Valentine, University of Brighton, UK Jim Woodcock, Oxford University, UK John Wordsworth, IBM Hursley, UK -- Jonathan Bowen Email: J.P.Bowen@reading.ac.uk Tel: +44-1734-316544 URL: http://www.reading.ac.uk/people/jpb/ Sec: 318611 Fax: 751994 The University of Reading, Department of Computer Science Whiteknights, PO Box 225, Reading, Berkshire RG6 6AY, England