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)