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 -- reminder Followup-To: comp.specification.z Reply-To: Jonathan.Bowen@comlab.ox.ac.uk (Jonathan Bowen) Organization: Oxford University Computing Laboratory, UK Expires: Tue, 1 Feb 1994 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 Neville Dean, Anglia Polytechnic Univ. 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. *** NOTE THE SUBMISSION DEADLINE IS 1ST OCTOBER 1993 *** 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 Exhibition stands by publishers Posters and leaflets Associated tutorials could be held immediately before or after the meeting if appropriate proposals are submitted. Please contact the tutorial chair as soon as possible about all of the above. The following invited speakers are planned (* subject to confirmation): David Garlan, Carnegie-Mellon University, USA: Z and education * Mike Gordon, University of Cambridge: Z and HOL Leslie Lamport, DEC Systems Research Center, USA: Z and concurrency Jim Woodcock, Oxford University: Z and 00-56 * Robert Worden, Chairman of Logica Cambridge: Z and industry Maurice V. Wilkes, Olivetti Research (Emeritus Professor, University of Cambridge): After dinner speaker on the occasion of the 45th anniversary of the EDSAC meeting (first European computer conference) held in Cambridge, June 1949, and hosted by him. The meeting will be sponsored by BT, Logica and Praxis and is supported by the BCS FACS special interest group and the CEC ESPRIT ProCoS-WG 8694 Working 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-283512, 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, publishers' stands, and requests for information concerning local arrangements 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 Until beginning of October 1993 at DEC Systems Research Center, Palo Alto, California, USA, Email: hinchey@src.dec.com 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: ____________________________________________ CALL FOR PAPERS *************** Z USER MEETING 1994 - EDUCATION HALF-DAY ======================================== A special session on Educational Issues relating to Formal Methods (Z in particular) is being organised for the Friday morning (1 July 1994) after the main Z User Meeting 1994 to be held in Cambridge (29 and 30 June 1994). Submissions are now invited for papers and posters to be presented at the Education Half-Day; they should cover topics in teaching, learning and understanding formal methods (not specifically Z) both in academia and in industry. Papers *may* be published in the Proceedings of the Z User Meeting, provided they are of sufficiently high standard and conform to the guidelines for papers to be presented at the main session. In particular they should be submitted to the main organising committee for the Z User Meeting by 1 October 1993 (as previously announced); please mark that the paper is to be considered for the Education Session. Alternatively, papers (or extended abstracts of no more than four pages) should be submitted to me directly by 31 December 1993. Authors will be notified by 28 February 1994 if their paper has been accepted. Final versions of accepted papers will need to be received by 31 March 1994. NOTE THAT PAPERS SO SUBMITTED WILL NOT BE INCLUDED IN THE PUBLISHED PROCEEDINGS. Proposals for posters should take the form of an abstract (no more than 500 words) and be sent to me by 28 February 1994. Successful authors will be notified by 31 March 1994. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Neville Dean Applied Sciences Anglia Polytechnic University Cambridge CB1 1PT Voice +44 223 352992 ext 2329 Fax +44 223 352979 Email CDEAN@vaxa.anglia-polytechnic.ac.uk