From bowen Mon Mar 29 10:12:45 BST 1993 Newsgroups: comp.software-eng,comp.specification,uk.announce,comp.specification.z From: bowen@comlab.ox.ac.uk (Jonathan Bowen) Subject: CFP: 1994 Z User Meeting Announcement Message-ID: <1993Mar26.145019.787@topaz.comlab.ox.ac.uk> Followup-To: comp.specification.z Originator: bowen@topaz.comlab Sender: bowen@comlab.ox.ac.uk (Jonathan Bowen) Reply-To: Jonathan.Bowen@comlab.ox.ac.uk (Jonathan Bowen) Organization: Oxford University Computing Laboratory, UK Date: Fri, 26 Mar 1993 14:50:19 GMT Expires: Fri, 1 Oct 1993 00:00:00 GMT Notice of Meeting and Call for Papers 8th Z User Meeting - ZUM'94 Organized by the Z User Group in association with BCS FACS 29-30th June 1994 St. John's College, University of Cambridge, UK Programme committee: Rosalind Barden, Logica, Cambridge Jonathan Bowen, Oxford Univ. Elspeth Cusack, BT David Duce, Rutherford Appleton Lab. Anthony Hall, Praxis plc Brian Hepworth, British Aerospace Howard Haughton, Lloyd's Register Mike Hinchey, Univ. of Cambridge Darrell Ince, Open Univ. Jonathan Jacky, Univ. of Washington, USA Peter Lupton, IBM Hursley John McDermid, York University Sylvio Meira, Univ. of Pernambuco, Brazil John Nicholls, Oxford Univ. Gordon Rose, Univ. of Queensland, Australia Chris Sennett, DRA Malvern Sam Valentine, Univ. of Brighton Jim Woodcock, Oxford Univ. John Wordsworth, IBM Hursley 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 at the next Z User Meeting and inclusion in the published Proceedings to be distributed at the meeting. Call for papers The committee of the Z User Group invites the submission of papers related to the interests of Z users. Special sessions on the following themes are planned if there is enough interest, and papers on these topics are especially encouraged: * Industrial experiences * Application of Z to safety-critical systems * Projects and processes for formal methods - Management and organizational issues * Z and concurrency Papers for presentation and publication will be reviewed and selected by the programme committee. The timetable for submitted papers is as follows: Submission of draft paper: 1st October 1993 Notification of acceptance: 30th November 1993 Final copy for Proceedings: 31st January 1994 Z User Meeting in Cambridge: 29-30th June 1994 A maximum limit of 20 pages is requested. Industrial contributors may submit extended abstracts if they prefer. Please include four copies of your submission and indicate if you wish your paper to be considered for one of the special themes. The meeting will also include: Tool demonstrations Exhibitions by publishers Posters or leaflets Associated tutorials may also be possible immediately before or after the meeting. The meeting will be sponsored by Logica and Praxis and is supported by the BCS FACS special interest group. General enquiries may be directed to: Jonathan Bowen (Conference Chair) Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD, UK. Email: Jonathan.Bowen@comlab.ox.ac.uk Tel: +44-865-272574, Fax: +44-865-273839 Submitted papers and extended abstracts should be sent to: Anthony Hall (Programme Chair) Praxis Systems plc 20 Manvers Street, Bath BA1 1PX, UK. Email: jah@praxis.co.uk Tel: +44-225-444700, Fax: +44-225-465205 Proposals for tutorials, tool demonstrations, etc., should be sent to: Mike Hinchey (Tutorial Chair) University of Cambridge, Computer Laboratory New Museums Site, Pembroke Street, Cambridge CB2 3QG, UK Email: Michael.Hinchey@cl.cam.ac.uk Tel: +44-223-334419, Fax: +44-223-334678 For your convenience, you may send the form below to the relevant person(s) if you wish. Notice of intention to contribute to the 1994 Z User Meeting From: Name _____________________________ Address __________________________ _________________________________ _________________________________ Tel ______________________________ Fax ______________________________ Email ____________________________ I wish to submit one of the following: Full paper ______________________ Extended abstract _______________ Poster or leaflet _______________ Other ___________________________ (please specify) Topic or title: ____________________________________ ____________________________________________________ Theme: _____________________________________________ I should like to demonstrate the following tool ____________________________________________________ Running on ____________________________ (state the machine) I would like to organize a tutorial on the following topic ____________________________________________________ Signed: ____________________________________________