Joan.Arnold@prg.oxford.ac.uk (05/28/91)
Z USER MEETING CALL FOR PAPERS The sixth annual Z User Meeting Monday and Tuesday 16th and 17th December 1991 University of York Programme committee: Jonathan Bowen, Oxford David Duce, Chilton Pat Hall, Milton Keynes Brian Hepworth, Warton Tim Hoverd, Cambridge Peter Lupton, Hursley John McDermid, York Sylvio Meira, Pernambuco John Nicholls, Oxford (Chairman) Gordon Rose, Queensland Chris Sennett, Malvern Jim Woodcock, Oxford John Wordsworth, Hursley Z User Meeting 16th-17th December 1991 Call for papers Papers are invited on any subject related to the theory and application of Z. We hope to have papers on some or all of the following topics: Mathematical Foundations of Z Standards for Z notation and method Application-specific techniques Using Z with other formal methods Object-oriented notations and methods The use of Z in safety-critical systems Formal methods and the project life-cycle Techniques of formal and informal validation Relating Z specifications to requirements In addition to submitted papers, we expect to invite speakers to address the meeting on specific topics. We expect to prepare and distribute pre-prints of all papers presented at the meeting. Selected papers will be published in a refereed Proceedings. The proceedings of last year's meeting will be published in July 1991 by Springer-Verlag in their Workshops in Computing series (ISBN 3-540-19672-2). Z User Meeting 16th-17th December 1991 Timetable The timetable for the receipt of papers is as follows: Notice of intention to submit a paper: Please reply as soon as possible Draft paper: 1st August 1991 Selection of papers for presentation: 16th September 1991 Final copy for the user meeting: 18th November 1991 Z User Meeting in York 16-17 December 1991 Papers for publication and presentation will be reviewed and selected by a programme committee to be appointed. The meeting will also include: Poster display Tool demonstrations Tutorial(s) Exhibition of books and papers Z User Meeting 16th - 17th December 1991 Notice of intention to submit a paper Please return as soon as possible. To: Secretary Z User Group Committee Programming Research Group 11 Keble Road Oxford OX1 3QD tel Oxford (0865) 272579 From: Name _____________________________ Address __________________________ _________________________________ _________________________________ You may reply by email to Joan.Arnold@prg.oxford.ac.uk I plan to submit a paper at the Z User Meeting on 16th-17th December 1991 Signed: ______________________________ Topic or title of paper: _________________________________ I will submit one of the following: Short contribution _______________ Poster __________________________ Other __________________________ (please specify) I should like to demonstrate the following tool ____________________________ Running on ______________________ (state the machine)