zforum@prg.oxford.ac.uk (09/08/90)
Oxford University Computing Laboratory
Programming Research Group
The fifth annual
Z User Meeting
Monday and Tuesday, 17th - 18th December 1990
in Oxford
CALL FOR PAPERS
Please mark this date in your diary and let us know as soon
as possible if you might submit a paper or other contribution.
The Proceedings of the Fourth Meeting have now been
published in a new series (``Workshops in Computing'') by
Springer. "Z User Workshop", Proceedings of the Forth Annual
Z User Meeting, 15 December 1989, Oxford, UK. ISBN 3-540-19627-7.
Z User Meeting 17-18th December 1990
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:
Foundations of Z
What should be in a Z Standard?
Z tools and support environments
Developing, teaching and applying a Z Method
Using Z with other methods (e.g. SSADM, JSD, Yourdon)
Z for hardware design
Object-oriented methods
Security and safety
Long-life systems: the maintenance of Z-defined systems
Measurements and metrics for Z
Project management, technology transfer
In addition to submitted papers, we may 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.
Z User Meeting 17-18th December 1990
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: 15 October 1990
Selection of papers for presentation: 1 November 1990
Final copy for the user meeting: 30 November 1990
Z User Meeting in Oxford 17-18 December 1990
Papers for publication and presentation will be reviewed and selected by
a programme committee to be appointed. The meeting may also include:
Poster display
Tool demonstrations
Tutorial(s)
Exhibition of books and papers
Z User Meeting 17-18th December 1990
Notice of intention to submit a paper
Please return as soon as possible.
To: Industrial Liaison Secretary
Programming Research Group
8-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 17th-18th December 1990
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)