Newsgroups: comp.specification.z,comp.software-eng Subject: 1992 Z User Meeting Announcement Expires: 19 Sep 92 00:00:00 GMT From: bowen@prg.ox.ac.uk (Jonathan Bowen) Reply-To: Jonathan.Bowen@prg.oxford.ac.uk (Jonathan Bowen) Followup-To: comp.specification.z Organization: Programming Research Group, Oxford University, UK Z user meeting Notice of Meeting and Call for Papers The seventh annual Z User Meeting Monday and Tuesday 14th and 15th December 1992 Department of Trade and Industry Kingsgate House 66-74 Victoria Street London Programme committee: Jonathan Bowen, Oxford David Duce, Chilton Brian Hepworth, Warton Darrell Ince, Milton Keynes Peter Lupton, Hursley John McDermid, York Sylvio Meira, Pernambuco John Nicholls, Oxford (Chairman) Gordon Rose, Queensland Chris Sennett, Malvern Jim Woodcock, Oxford Sam Valentine, Brighton John Wordsworth, Hursley A general theme for the meeting will be Industrial Applications. Speakers from industry will be invited to address the meeting on experiences and expectations of formal methods; outlines of these presentations will be distributed at the meeting. ZIP Project The meeting will include a review and presentation of results from the ZIP project. ZIP - a collaborative project supported by the U.K. Department of Trade and Industry under the IED scheme - has carried out research on Standards, Methods and Tools for Z. Submitted papers In addition, the programme committee invites authors to submit papers - a selection of these will be presented at the meeting and will be included in the published Proceedings of the meeting, together with a selection of other submitted papers. Call for papers The committee invites the submission of papers related to the interests of Z users. Papers on the following topics are specially welcome: * Reports of industrial experiences * Links between specifications and requirements * How formal methods relate to the project life-cycle * Evolutionary systems * The development of high integrity systems * Using Z with other formal and informal methods * Techniques of modularisation * Validation and verification * Measures of effectiveness of formal methods Submitted papers Papers for presentation and publication will be reviewed and selected by the programme committee. The timetable for submitted papers is as follows: Notice of intention to submit a paper: Please reply as soon as possible Submission of draft paper: 3rd August 1992 Referees reports on submitted papers: 18th September 1992 Pre-prints for 7th Z User meeting: 18th November 1992 Final copy for Proceedings 29th January 1993 Z User Meeting in London 14th-15th December 1992 The meeting will also include: Posters Tool demonstrations Exhibitions of books and papers 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 __________________________ _________________________________ _________________________________ N.B. Please make sure we have your correct name and address by marking any changes that should be made on your address label. I plan to submit a paper at the Z User Meeting on 14th-15th December 1992 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)