[comp.specification] Z User Meeting - Call for Papers

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)