From: Jonathan.Bowen@prg.oxford.ac.uk
Newsgroups: news.announce.conferences
Subject: 7th Annual Z User Meeting announcement
Date: 18 Nov 92 23:33:57 GMT
Expires: Tue, 15 Dec 1992 08:00:00 GMT
Reply-To: Joan.Arnold@prg.oxford.ac.uk ()
Organization: (none)


			   NOTICE OF MEETING


			  The Seventh Annual

			    Z USER MEETING

		  will be held on Monday and Tuesday
		      14th and 15th December 1992


		    Theme: Industrial Applications

			 Location of meeting:

		   Department of Trade and Industry,
			   Kingsgate House,
			66-74 Victoria Street,
			    London SW1E 6SW
				England

			  Conference dinner:

		   7.00 pm on Monday 14th December,
	     United Oxford and Cambridge University Club,
		     71 Pall Mall, London SW1Y 5HD

	     The meeting is organised by the Z User Group

________________________________________________________________________

For details and bookings telephone: Oxford (0865) 272579 (International
+44 865 272579) Email:  Joan.Arnold@comlab.ox.ac.uk


The following invited Speakers will present current experiences in the
use of formal methods in industry.

   Andrew Bradley (British Aerospace) will discuss what is needed from
   formal methods to meet the requirements of U.K.  DEF-STAN 00.55

   Dan Craigen (ORA) will present the results of a survey of industrial
   users of formal methods in Europe, USA and Canada.

   Elspeth Cusack (British Telecom) will discuss the application of
   formal methods to network management.

   Glyn Normington (IBM Hursley) will discuss experience of using Z
   with CleanRoom techniques.

Refereed Papers will be presented, including papers on:

   Software re-use, real-time systems, object-oriented approaches,
   education and training, safety-critical systems.

Zip Presentations will report on the work of the ZIP Project.

Note:  ZIP is a collaborative project supported by the U.K. Department
of Trade and Industry under the IED scheme to carry out research on
Standards, Methods and Tools for Z.

There will also be Tool Demonstrations and Posters.

________________________________________________________________________


Please use this form to reserve a place at the Z User Meeting on 14th
and 15th December 1992.

The registration fee of 130 pounds sterling covers admission to all
sessions, refreshments, two lunches and the Conference dinner on
Monday, together with preprints of papers.

Accommodation can be reserved through Res-O-Tel Hotel Reservations in
London (tel: 081 542 6611) who offer reduced conference rates at a
number of hotels.

I enclose a cheque for 130 pounds sterling payable to the Z User
Group.  Please note: Payment in sterling must be made in advance.
Anyone wishing to pay by bank transfer, please contact Joan Arnold
(at the address given below) for details.

Details for registration (in block capitals please):

   Full name (and title):  . . . . . . . . . . . . . . . . . . . . . .

   Name as you wish it to appear
            on Conference badge: . . . . . . . . . . . . . . . . . . .

   Organisation:       . . . . . . . . . . . . . . . . . . . . . . . .

                       . . . . . . . . . . . . . . . . . . . . . . . .

   Address:  . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

             . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

   Postcode: . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

   Country:  . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

   Telephone:  . . . . . . . . . . . . . . . . . . . . . . . . . . . .

   Fax:      . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

   Email:    . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

   Special dietary requirements: . . . . . . . . . . . . . . . . . . .

________________________________________________________________________


We are offering a limited number of Student Bursaries for applicants
registered as students at the reduced fee of 65 pounds sterling.  If
you wish to apply for one of these, please write for an application
form to Joan Arnold at the address given at the end of the form.

Please complete a separate form for each participant and return, with
your cheque, as soon as possible (not later than 30th November 1992)
to:

    Mrs Joan Arnold
    Oxford University Computing Laboratory
    Programming Research Group
    11 Keble Road
    Oxford OX1 3QD, UK

    Tel:   Oxford (0865) 272579  Int: +44 865 272579
    Fax:   Oxford (0865) 273839  Int: +44 865 273839
    Email: Joan.Arnold@comlab.ox.ac.uk