The 10th International Conference of Z Users (ZUM'97) will be held at University of Reading, England in April 1997. Reading is easily reached by air, being just 25 miles (40 km) from London's Heathrow Airport.
| Wednesday p.m., 2nd April 1997 | Tutorials and registration
|
| Thursday - Friday, 3rd-4th April 1997 | Main meeting
|
| Saturday a.m., 5th April 1997 | Educational Issues Session |
The following invited speakers will give presentations at the conference:
The conference will also include:
Attendees will receive a copy of the proceedings, to be published by Springer-Verlag Lecture Notes in Computer Science, as part of the delegate pack. To attend, please complete and return the booking form with the appropriate remittance. We look forward to seeing you at the meeting.
For up-to-date on-line information about the conference, see:
Ali Abdallah, University of Reading, UK
Jonathan Bowen, University of Reading, UK
Paolo Ciancarini, University of Bologna, Italy
Neville Dean, Anglia Polytechnic University, UK
Andy Evans, University of Bradford, UK
David Garlan, Carnegie-Mellon University, USA
Martine Guerlus, France Telecom CNET, France
Howard Haughton, JP Morgan, UK
Jonathan Hammond, Praxis, UK
Ian Hayes, University of Queensland, Australia
Mike Hinchey, NJIT, USA & Univ. of Limerick, Ireland
Hans-Martin Hörcher, DST GmbH, Germany
Jonathan Jacky, University of Washington, USA
Kevin Lano, Imperial College, London, UK
Shaoying Liu, Hiroshima City University, Japan
Nimal Nissanke, University of Reading, UK
Norah Power, University of Limerick, Ireland
Chris Sennett, DRA Malvern, UK
David Till, City University, London, UK
Sam Valentine, University of York, UK
Jim Woodcock, Oxford University, UK
John Wordsworth, IBM UK Laboratories, UK
Reading is named after the Readingas, followers of a man named
Reada (the Red) who settled here at the confluence of the River Kennet
and
Thames around 600AD. The Abbey was founded by Henry I in 1121 but
is now ruined because of
Henry VIII's Dissolution of the Monasteries in
1539. The writer
Jane Austen (1775-1817) was taught at the original
Abbey School in Reading, and the playwright
Oscar Wilde (1854-1900)
was famously jailed here, where he wrote
The Ballad of Reading Gaol.
The
Museum of Reading in the Town Hall houses an interesting
Victorian full size
replica of the
Bayeux Tapestry, suitably censored
because of the prudery of the time!
The town is in the heart of England's "Silicon Vale" with many high
technology and computer companies located in and around Reading. The
area benefits from the
proximity to
London and
Heathrow Airport, the
busiest international airport in the world, while still providing some
splendidly bucolic countryside, especially
along the river.
Just
downstream of Reading is the village of
Sonning, described by
Jerome K. Jerome (1859-1927) in the book
Three Men in a Boat on a journey up
the
Thames as "the most fairy-like little nook on the whole
river". The conference dinner will be held in the
Great House at Sonning,
a 16th Century building situated in four acres of grounds with
a beautiful Thamesside setting. Further on is
Henley-on-Thames, the
historic home of
rowing where the annual
Royal Regatta, first held in
1839, takes place each summer. It is the best location on the river to
accommodate the totally straight course of 1 mile 550 yards, after
moving some of the river banks a little!
University-level teaching at Reading
started in 1860 and a Royal
Charter was granted in 1926, enabling
the University to award its own
degrees. In 1947 the
Whiteknights campus with parkland and a
magnificent landscaped lake was purchased and this is where most of the
University is now based. The current Chancellor of the University,
Lord Carrington, was installed in 1992. The University boasts three
museums
at Whiteknights. The biggest is the
Museum of English Rural Life at
the Rural History Centre, which has a large collection from the last
two centuries illustrating the whole field of rural life and society
with particular emphasis on tools and machines, practical farming and
rural industries. A reception will be held at the museum at the start
of the conference.
TRAVEL to Reading is easy by air, being about 25 miles (40 km)
from
London's
Heathrow Airport with a regular direct coach link to the
main station normally every half hour from each of the airport's four
terminals. It is also the hub of the
Thames Trains network and
readily accessible by rail.
There is a direct rail link between Reading and
Gatwick Airport.
Frequent fast trains on the historic
Great Western Railway, originally built by
Isambard Kingdom Brunel (1806-1859), normally take
around half an hour from
London
Paddington. A short taxi or bus ride
will take you to the
Whiteknights campus about a mile and a half (2.5 km) to the
southwest of the town centre. There will also be car
parking facilities on the
main campus for those who wish to travel by
car. The M4 motorway between
Wales and
London
flanks Reading to the south.
An optional boat trip on the
River Thames on Friday evening
includes dinner and a pay bar. Numbers are strictly limited to
50, and offered on a first-come first-served basis. Spouses or other
guests are welcome if space permits.
General enquiries about the conference and the
Z User Group may be
directed to:
A separate mailing list related to the meeting, and acting as a forum
for educators and others to discuss related areas, is available. To
subscribe, e-mail to zugeis-request@comlab.ox.ac.uk including
your name and address and a brief statement of your interests.
The paper booking form is also available on-line in
ASCII text form
linked from the main conference URL under:
http://www.cs.reading.ac.uk/zum97/
Please send the
booking form and specific queries concerning bookings to:
Wednesday, 2nd April 1997
16.00--18.30 Residential registration (St. George's Hall)
18.00--19.30 Reception (Museum of English Rural Life)
19.30 Dinner (St. George's Hall)
20.00 Bar open (St. George's Hall)
Thursday, 3rd April 1997
09:00 Welcome
09:00 Opening remarks
-- Jonathan Bowen, Univ. of Reading, UK (Conference Chair)
-- Mike Hinchey, NJIT, USA
& David Till, City Univ., UK (Programme Co-Chairs)
09:15 Real-Time Systems
(Chair: Jonathan Bowen)
09:15 INVITED SPEAKER
Formal Methods: Panacea or Academic Poppycock?
-- Constance Heitmeyer, Naval Research Laboratories, USA
10:00 The Event Calculus
-- Bill Stoddart, UK
10:30 Coffee Break
11:00 Tools
(Chair: Sam Valentine)
11:00 Experiences with PiZA, an animator for Z
-- M.A. Hewitt, C.M. O'Halloran and C.T. Sennett, UK
11:30 Automating Test Case Generation from
Z Specifications with Isabelle
-- S. Helke, T. Neustupny and T. Santen, Germany
12:00 The Z/EVES System
-- Mark Saaltink, Canada
12:30 Lunch
14:15 Applications I
(Chair: Chris Sennett)
14:15 INVITED SPEAKER
Taking Z Seriously
-- Anthony Hall, Praxis Critical Systems Ltd, UK
15:00 A Formal OO Method inspired by Fusion and Object-Z
-- K. Achatz and W. Schulte, Germany
15:30 Coffee Break
16:00 Logic
(Chair: Neville Dean)
16:00 W Reconstructed
-- Jon Hall, UK and Andrew Martin, Australia
16:30 Using the Rippling Heuristic in Set Membership Proofs
-- Ina Kraan, Switzerland
17:00 AGM of the Z User Group
19:00 Coaches depart for Conference Dinner (St. George's Hall)
19:30 Conference Dinner (The Great House at Sonning)
10:30 Coffee Break
11:00 Reactive Systems
(Chair: Ali Abdallah)
11:00 An Approach to the Design of Distributed Systems with B AMN
-- Michael Butler, UK
11:30 Specifying Reactive Systems in B AMN
-- Kevin Lano, UK
12:00 An Improved Recipe for Specifying Reactive Systems in Z
-- Andy Evans, UK
12:30 Lunch
16:00 Refinement
(Chair: Mike Hinchey)
16:00 Analysing and Refining an Architectural Style
-- P. Ciancarini and C. Mascolo, Italy
16:30 Weak Refinement in Z
-- J. Derrick, E. Boiten, H. Bowman and M. Steen, UK
17:00 Closing Remarks and Best Paper Vote
19:00 Optional Boat Trip on the River Thames
(dinner and pay bar included)
Saturday a.m., 5th April 1997
Organizer:
Neville Dean,
Anglia Polytechnic University, UK
Wednesday p.m., 2nd April 1997
Organizer:
Sam Valentine,
University of York, UK
Tutorials start at 14.00 in the
Department of Computer Science and
finish at approximately 17.30. See
provisional timetable above for
further details.
Presenters: Stephen Brien, Andrew Martin and Jim Woodcock
The
Z standardization effort has been proceeding for over five years
now, but the technical content of the Standard is not widely understood
in the
Z community. This tutorial will begin with an overview of
thekey issues which have directed the development of the semantics now
presented in the standard. These include the pecularities of schemas,
the appropriate treatment of undefinedness, and a wish to provide
apractical logical theory for Z. Those issues will motivate a
presentation of the main features of the formal semantics presented in
the Standard. We will aim to give the participants an insight into the
notations used for presenting the semantics, and what is meant by the
equations.
Jim Woodcock and Stephen Brien are members of the
Programming Research Group at
Oxford University, and have had a major influence in the
development of the formal semantics of the Z Standard. Andrew Martin
is at the
Software Verification Research Centre in the
University of Queensland,
and has experience in the application of ideas from this
research. All three are members of the Z Standards panel.
Contact Andrew Martin (email apm@cs.uq.oz.au) for further information.
Presenter: John Wordsworth,
IBM UK Laboratories
Larch offers a two-tier approach to the rigorous specification of
software modules. There is a single Larch Shared Language (LSL) which
is used to define a precise mathematical language for writing
specifications. There are several Larch Interface Languages. Each
interface language is based on a programming language (the interface
language for C is LCL), and each one is adapted for writing
specifications of program modules. The specifications in any interface
language use a vocabulary developed in LSL to give precise meaning to
the functions of the modules. There are tools for checking LSL
specifications, checking interface specifications for some languages
(LCLint for LCL), generating header files from interface
specifications, and a tool (LP) for doing proofs in LSL.
The tutorial is designed to equip participants to:
Contact John Wordsworth (email: jbwords@vnet.ibm.com) for further information.
Presenter: Mark Saaltink,
ORA, Canada
This tutorial will introduce its participants to the
Z/EVES system.
Z/EVES uses state-of-the-art
formal methods techniques from Europe and
North America, integrating a leading specification notation
(Z) with a
leading automated deduction capability
(EVES).
The result is a powerful analysis engine for the Z notation.
Participants are expected to have a working knowledge of Z. The
tutorial will describe how Z/EVES can be used to:
To date, every significant published or industrial Z specification we
have investigated has failed the domain checking test! This observation
strongly suggests that Z specifications must undergo mechanized
analysis beyond simple type checking.
Participants will receive a copy of the Z/EVES reference manual and the
Z/EVES user manual. (Z/EVES itself is available on the Internet.)
Participants will leave the course with an understanding of the
analyses that can be carried out using Z/EVES, and a basic
understanding of how to use Z/EVES.
Contact Mark Saaltink (email mark@ora.on.ca) for further information.
ZUM'97: Local information
![[Photograph of St. George's Hall]](http://www.reading.ac.uk/UnivRead/Halls/Georges/george.gif)
ACCOMMODATION will be in recently refurbished ensuite rooms at
St. George's Hall on the north edge of the
main campus about 10
minutes walk from the location of the conference itself, which will be
in the
Faculty of Letters. The Hall includes a bar and dining room
where breakfast will be served. Parking will be available at the Hall.
This accommodation is probably the most convenient for delegates
because of its location, and is thus strongly recommended, but
information on local hotels can be provided should you wish to book
your own room elsewhere.
ZUM'97: Contact information
Conference Chair:
Jonathan Bowen (Conference Chair, ZUM'97)
The University of Reading,
Department of Computer Science
Whiteknights, PO Box 225,
Reading,
Berks RG6 6AY, UK
Tel: +44-118-931-6544
Fax: +44-118-975-1994
Email: J.P.Bowen@reading.ac.uk
Programme Co-Chairs:
Mike Hinchey (Programme Co-Chair, ZUM'97)
New Jersey Institute of Technology,
Real-Time Computing Laboratory CIS Department,
University Heights, Newark, NJ 07102, USA
Email: hinchey@cis.njit.edu
Tel: +1-201-5965750 Fax: +1-201-5965777
David Till (Programme Co-Chair, ZUM'97)
Dept of Computer Science, City University
Northampton Square, London EC1V 0HB, UK
Email: till@soi.city.ac.uk
Tel: +44-171-477-8552 Fax: +44-171-477-8587
Local organization and tutorials
For information concerning
tutorials, please contact:
Sam Valentine
The tool demonstrations organizer is:
Department of Computer Science, University of York
Heslington, York YO1 5DD, UK
Email: sam@minster.cs.york.ac.uk
Tel: +44-1904-433386 Fax: +44-1904-432708
Ali Abdallah
For details concerning publishers' stands, please contact
Mike Hinchey.
For other local information (e.g., posters or leaflets), please contact
Christina Simmons (local secretary) or
Jonathan Bowen (conference chair), both at Reading.
University of Reading, Department of Computer Science
Whiteknights, PO Box 225, Reading RG6 6AY, UK
Email: A.Abdallah@reading.ac.uk
Tel: +44-118-987-5123 (ext. 7624) Fax: +44-118-975-1994
Educational issues session
Neville Dean (ZUGEIS Organizer)
Anglia Polytechnic University
Applied Sciences, East Road, Cambridge CB1 1PT, UK
Email: cdean@bridge.anglia.ac.uk
Tel: +44-1223-363271 ext 2329 Fax: +44-1223-352979
Booking information
Christina Simmons (Local Secretary, ZUM'97)
The University of Reading,
Department of Computer Science
Whiteknights, PO Box 225, Reading, Berks RG6 6AY, UK
Email: C.M.L.Simmons@reading.ac.uk
Tel: +44-118-931-8611 Fax: +44-118-975-1994
Tutorials and registration provisional timetable
12:30--14.00 Tutorial registration & buffet lunch
(Dept. of Computer Science)
14:00 Tutorials start (Dept. of Computer Science)
15.30--16.00 Coffee break (Common Room)
17.30 End of tutorials
Further tutorial information is available
below.
ZUM'97 provisional programme: 3rd-4th April 1997
08:30 Non-residential registration and coffee
Friday, 4th April 1997
09:15 System Development
(Chair: Nimal Nassanke)
09:15 INVITED SPEAKER
Specifying and Programming the Steam Boiler Control:
Report on a Competition of Formal Methods
-- Egon Börger, University of Pisa, Italy
10:00 Integrating VDM++ and Real-Time System Design
-- K. Lano, S. Goldsack, J. Bicarregui and S. Kent, UK
ZUM'97
Educational Issues Session
09:15 Introduction (Chair: Neville Dean, UK)
09:20 Larch: Is this what you have been looking for?
-- J. Wordsworth, UK
09:55 Z - A View from the Sunshine State.
-- D. Oliver, Australia
10:30 Coffee (Common Room)
11:00 TBA -- V. Almstrum, USA
11:35 Mini-presentations and Discussion
12:15 Closing Remarks
12:30 Lunch
Exact schedule to be confirmed. This will be an informal session
giving an opportunity for discussion and informal presentations.
Anyone wishing to give a mini-presentation (5--10 minutes) about their
particular experience of teaching formal methods or to raise new ideas
is invited to let the session chair (Neville Dean)
know in advance.
ZUM'97 tutorials
TUTORIAL A: How to read the (draft) Z Standard
TUTORIAL B: Larch: Principles and Practice
TUTORIAL C: Using Z/EVES
BOOKING FORM:
_______________________________________________________________________________
| ZUM'97 Booking Form, 10th International Conference of Z Users |
| University of Reading, 3 - 4 April 1997 |
| |
|Surname ..................... First name .................... Title .......|
| |
|Organisation ................................................................|
| |
|Address .....................................................................|
| |
|.............................................................................|
| |
|Postcode .................... Country ......................................|
| |
|Telephone ................. Fax ................. Email ...................|
| |
|Arrival Date ........................ Departure Date .......................|
| |
|Please indicate any dietary or other requirements: |
| |
|Vegetarian? ................... Other ......................................|
|_____________________________________________________________________________|
|Main Session Thursday and Friday, 3rd and 4th April, including lunch | |
|on both days, refreshments, dinner on Wednesday, conference dinner on | |
|Thursday, and proceedings 150 pounds | |
|______________________________________________________________________|______|
|Tutorials (including lunch and refreshments): | |
|Wednesday 2nd April (afternoon) 65 pounds | |
| ____ ____ ____ | |
|Tutorial A |__| Tutorial B |__| Tutorial C |__| | |
|Please tick tutorial required | |
|______________________________________________________________________|______|
|Education Session (Saturday 5th April, morning): | |
|(including lunch and refreshments) 25 pounds | |
|______________________________________________________________________|______|
|Accommodation in St. George's Hall (canteen-style breakfast): | |
|Wednesday, Thursday and Friday (Note: not any 3 nights) 95 pounds | |
|Saturday accommodation 35 pounds | |
|______________________________________________________________________|______|
|Extras (subject to availability): | |
|Extra ticket for conference dinner (Thursday night) 45 pounds | |
|Optional boat trip on the River Thames (Friday night) | |
|(including buffet dinner and pay bar) 30 pounds | |
|Invoice request (to cover costs) 10 pounds | |
|______________________________________________________________________|______|
|Discounts: (Please note, only one discount allowed) | |
|BCS FACS and ProCoS-WG members -10 pounds | |
|Authors -35 pounds | |
|______________________________________________________________________|______|
|Total due: Payments (in UK Sterling) payable to "Z User Group" and | |
|completed forms should be sent to Christina Simmons, ZUM'97, | |
|The University of Reading, Department of Computer Science, | |
|Whiteknights, PO Box 225, Reading, Berks RG6 6AY, England. | |
|Email: C.M.L.Simmons@rdg.ac.uk Fax: +44-118-975-1994 Tel: -931-8611 | |
|______________________________________________________________________|______|
Information provided by
Jonathan Bowen
