Joan.Arnold@prg.oxford.ac.uk (11/07/90)
Z user meeting
The fifth annual Z User Meeting
Monday and Tuesday
17th and 18th December 1990
Lady Margaret Hall Oxford
Papers include:
fundamental theories of Z
(including semantics)
practical experience in using Z
maintenance and extension
Z standards, tools and methods
(reports from the ZIP project)
object-oriented approaches
Tool demonstrations, posters
Programme committee:
Jonathan Bowen, Oxford University PRG
Professor David Duce, Rutherford
Professor Pat Hall, Brunel University
Tim Hoverd, Logica Cambridge
Peter Lupton, Oxford University PRG/IBM Hursley
John Nicholls, Oxford University PRG (Chairman)
Dr Chris Sennett, RSRE Malvern
John Wordsworth, IBM Hursley
The fifth annual Z User Meeting will be held on Monday and Tuesday the
17th-18th December 1990. This year the meeting will be in Lady Margaret
Hall, a modern college at the end of Norham Gardens, to the north of the
University Parks (see enclosed map). The lecture room can accommodate
about 120 people, and there is some local parking. There will be a
dinner in the college dining hall on Monday night. The provisional
timetable is as follows:
Monday 17th December
Registration: 9.30 a.m.
Opening session 10.00 a.m.
Close 5.30 p.m.
Dinner in Lady Margaret Hall 7.00 pm for 7.30 p.m.
Tuesday 18th December
First session 9.00 a.m.
Close 5.00 p.m.
Over 28 papers have been submitted and there will be presentations on
many topics of general interest covering the theory and application of
Z. There will also be invited speakers including Professor Cliff Jones,
Manchester University.
The proceedings of last year's meeting have been published by
Springer-Verlag in their Workshops in Computing series (ISBN
3-540-19627-7). We also expect to publish the papers from this year's
meeting ~ details to follow.
-----------------------------------------------------------------------
Z user meeting Registration form
Please reserve a place at the Z user meeting as follows:
Registration fee: 150 pounds (Speakers rate: 50 pounds) _____ pounds
Accommodation in Lady Margaret Hall
(Bed/breakfast with bathroom at 22 pounds per night)
Sunday night 16th December at 22 pounds _____ pounds
Monday night 17th December at 22 pounds _____ pounds
Need for vegetarian food? _____
I enclose a cheque for ________ pounds
payable to OUCL
Note: there will be a deduction of 10 pounds for cheques received
in Oxford by the 10th December 1990.
OR Please send invoice to:
Name: . . . . . . . . . . . . . . . . . . . . . . . . . . .
Address: . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . .
Postcode: . . . . . . . . . . . . . . . . . . . . . .
The registration fee covers the following:
Admission to all sessions, including refreshments and lunches
Preprints of papers
Special Dinner in LMH on Monday night (at approx 7.00 pm)
Details for registration:
Full name: . . . . . . . . . . . . . . . . . . . . . .
Organisation: . . . . . . . . . . . . . . . . . . . . . .
Address: . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
Postcode: . . . . . . . . . . . . . . . . . . .
Telephone: . . . . . . . . . . . . . . . . . . . . .
Fax: . . . . . . . . . . . . . . . . . . . . .
Email: . . . . . . . . . . . . . . . . . . . . .
Please complete a separate form for each participant. Return as soon as
possible (not later than 10th December) to:
Joan Arnold
Oxford University
Computing Laboratory
11 Keble Road
Oxford OX1 3QD
Tel: Oxford (0865) 272579
Fax: Oxford (0865) 273839
Email: Joan.Arnold@uk.ac.oxford.prg
------------------------------------------------------------------------
Z user meeting Posters, tools, survey
Poster:
I intend to submit a poster for the meeting. A poster contains details of
Z-related work, on a single A4 sheet, and must be received in Oxford (at the
address given below) by 1st December 1990, for inclusion in the preprints.
Topic: . . . . . . . . . . . . . . . . . . . . . . . . . . .
Tool demonstration:
I should like to demonstrate a tool at the Z user meeting.
Name of tool . . . . . . . . . . . . . . . . . . . . . .
Z Survey
This year we plan to prepare two lists for publication in the
proceedings of the meeting: a list of industry projects and a list of Z
courses.
Industry project I propose the following project for inclusion in the survey list
Name of project . . . . . . . . . . . . . . . .
Organisation . . . . . . . . . . . . . . . .
Name of contact . . . . . . . . . . . . . . . .
Z course I propose the following course for inclusion in the survey list
Name of course . . . . . . . . . . . . . . .
Organisation . . . . . . . . . . . . . . .
Name of contact . . . . . . . . . . . . . . .
Full name: . . . . . . . . . . . . . . . . . . . . . . . . . . .
Organisation: . . . . . . . . . . . . . . . . . . . . . . . . . .
Address: . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
Postcode: . . . . . . . . . . . . . . . . . . .
Telephone: . . . . . . . . . . . . . . . . . . . . .
Fax: . . . . . . . . . . . . . . . . . . . . .
Email: . . . . . . . . . . . . . . . . . . . . .
Please complete and return as soon as possible (not later than 1st December) to:
Joan Arnold
Oxford University
Computing Laboratory
11 Keble Road
Oxford OX1 3QD
Tel: Oxford (0865) 272579
Fax: Oxford (0865) 273839
Email: Joan.Arnold@uk.ac.oxford.prg
Should anyone wish their name added to our postal Z
mailing list, please let Joan Arnold know at the above email
address.