The 11th International Conference of Z Users (ZUM'98) will be held at Berlin, Germany, 24-26 September 1998.
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 forms with the appropriate remittance or credit card information. We look forward to seeing you at the meeting.
For up-to-date on-line information about the conference, see:
The conference takes place at the campus of the Technische Universität Berlin (TUB). With around 37,000 students, the TUB is the largest technical university in Germany. Teaching and research in the TUB computer science department focus on software and communication technology, with a strong tradition regarding formal methods, in particular using algebraic specification. For general information about the TUB, see here, and its CS department, here.
The TUB campus is located within the inner city of Berlin, around 20 minutes walking distance (through the central park Tiergarten) from the Brandenburg Gate (Brandenburger Tor) and the Potsdamer Platz. The picture shows a view on the campus, with Tiergarten in the background, and the Street of the 17th June, leading directly to the Brandenburg Gate. A campus map is available; the conference takes place in building No. 9.
Directions: From the Tegel airport, take the airport coach (bus line 109) to the main railway station Zoologischer Garten. From there it takes about 5-10 minutes by foot. From the Schönefeld airport, there is an S-Bahn (city rail) to Zoologischer Garten.
Directions: From the Tegel airport, take the airport coach (bus line 109) to the central railway station Zoologischer Garten. Get off at "Joachimstaler Strasse" and walk back about 200 metres. From the Schönefeld airport, there is an S-Bahn (city rail) to Zoologischer Garten. From there it takes about 5 minutes by foot.
Directions: From the Tegel airport, take the airport coach to the central railway station Zoologischer Garten. From there take U2, direction Vinetastr., to the station Mohrenstr. From Schönefeld, there is an S-Bahn (city rail) to the railway station Friedrichstrasse, which is near to "Unter den Linden".
Rooms need to be reserved using a separate hotel booking form. The advertised prices for hotels can be offered during the period starting two days before and finishing two days after the main conference.
Conference events
A reception is planned on
Wednesday evening; details will be announced
in due course. There will be a conference banquet on
Thursday, which
is included in the registration fee. Extra places can be reserved if
required.
On Friday evening there is an optional guided tour on foot starting at the Brandenburg Gate and walking to Checkpoint Charlie via the Potsdamer Platz area, the so-called Schaustellentour ("Schau-stelle" is an artificial word derived from "Bau-stelle", where Baustelle means construction area, and "Schau" means just show). The tour offers a mixture of historical and architectural information (Brandenburger Tor, Reichstag, Wilhelmstrasse, and so on - the political centre of the 2nd and 3rd German Reich) with information about the newly constructed government and business area located there. The tour is on foot and will take approximately 2 hours. For a dinner following the tour, restaurants in the area will be recommended.
Berlin links
Here are some useful general links for information about
Berlin:
General enquiries about the conference may be directed to:
Andreas Fett
Stephan Herrmann
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, email to
zugeis-request@comlab.ox.ac.uk including
your name and address and a brief statement of your interests.
Wednesday, 23rd September 1998
18:00 Conference registration & Reception at Café Campus
19:00 Close
The Café Campus is recommended as a convenient place for dinner after
the reception.
Thursday, 24th September 1998
09:30 Welcome
(Chair: Mike Hinchey)
09:30 Opening remarks
-- Mike Hinchey, University of Limerick, Ireland
09:45 INVITED SPEAKER
Industrial Requirements for the Efficient Development
of Reliable Embedded Systems
-- Klaus Grimm, Daimler-Benz AG, Germany
10:30 Coffee Break
11:00 Concurrency
(Chair: Wolfgang Grieskamp)
11:00 How to Combine Z with a Process Algebra
-- C. Fischer, Germany
11:30 The Specification and Refinement of an Environmental Model
-- W.J. Stoddart, UK
12:00 Formal Derivation of Finite State Machines for Class Testing
-- L. Murray, D. Carrington, I. MacColl, J. McDonald and
P. Strooper, Australia
12:30 Lunch
14:00 Tools
(Chair: Andreas Fett)
14:00 INVITED SPEAKER
Using B to Specify, Verify and Design Hardware Circuits
-- Ib Sørensen, B-Core(UK) Limited, UK
14:45 Z on the Web Using Java
-- J.P. Bowen and D. Chippington, UK
15:05 Visualizing Z Notation in HTML Documents
-- P. Ciancarini, C. Mascolo and F. Vitali, Italy
15:30 Coffee Break
16:00 Z and HOL
(Chair: Stephan Herrmann)
16:00 On the Semantic Relation of Z and HOL
17:00 AGM of the Z User Group
(Chair: Jonathan Bowen)
17:30 Close
19:30 Conference Banquet
10:30 Coffee Break
11:00 Theory
(Chair: Sam Valentine)
11:00 Recursive Definitions in Z
-- R.D. Arthan, UK
11:30 A Logic for the Schema Calculus
-- M.C. Henson and S. Reeves, UK/New Zealand
12:00 Tool demonstration presentations
(Chair: Wolfgang Grieskamp)
12:30 Lunch
14:00 Theory and Standards
(Chair: Jonathan Bowen)
14:00 INVITED SPEAKER
Combining Specification Techniques for Processes,
Data and Time
-- Prof. Dr. Ernst-Rüdiger Olderog,
Universität Oldenburg, Germany
14:45 Innovations in the Notation of Standard Z
-- I. Toyn, UK
15:15 Coffee Break
16:00 Issues
(Chair: Neville Dean)
16:00 Comparing Extended Z with a Heterogeneous Notation for
Reasoning about Time and Space
-- R.F. Paige, Canada
16:30 Inconsistency and Undefinedness in Z - A Practical Guide
-- S.H. Valentine, UK
17:00 Close
17:30 Optional guided tour (followed by dinner)
10:30 Coffee Break
11:00 Object Orientation
(Chair: John Derrick)
11:00 Network Topology and a Case Study in TCOZ
-- B. Mahony and Jin Song Dong, Australia
11:30 Object-Oriented Specification of Hybrid Systems Using
UMLh and ZimOO
-- V. Friesen, A. Nordwig and M. Weber, Germany
12:00 Translating the OMT Dynamic Model into Object-Z
-- S. Dupuy, Y. Ledru and M. Chabre-Peccoud, France
12:30 Final Remarks and Best Paper Vote
-- Mike Hinchey
12:45 Close
Saturday p.m., 26th September 1998
Organizer:
Neville Dean,
Anglia Polytechnic University, UK
Note that the session will be informal giving an opportunity for discussion.
14:00 Introduction
-- Neville Dean, UK
What and How to Teach
(Chair: Neville Dean, UK)
14:05 Z on the Web
-- Jonathan Bowen, UK
14:30 Mental models of Z
-- Neville Dean, UK
15:00 What makes a good specification case study?
(Panel Discussion)
-- Norah Power, Ireland
15:30 Coffee Break
16:00 Assessment Issues
(Chair: Neville Dean, UK)
16:00 Collaborative work to answer a test on formal
specification in B
-- Henri Habrias, France
16:30 Managing Z coursework on-line
-- Zarina Shukur, Edmund Burke and Eric Foxley, UK
17:00 General discussion
17:20 Concluding remarks
17:30 Close
ESPRESS is an application-oriented German project which aims to
develop a software technology for the construction of
safety-critical embedded systems. Sponsored by the German ministry
of education and research,
BMBF, the project is a cooperation between
Daimler-Benz AG,
Robert Bosch AG,
the Fraunhofer Gesellschaft,
GMD Gesellschaft für Mathematik und Datenverarbeitung and the
Technische Universität Berlin.
The tutorial gives an overview of the ESPRESS approach. Illustrated by
one of the ESPRESS case studies, an intelligent cruise control system,
the development of a requirements specification using a combination of
Statecharts and the
Z notation
will be presented in detail. Validation techniques based on this
specification will be explained. Specific topics include:
Contact
Wolfgang Grieskamp
(email wg@cs.tu-berlin.de)
for further information.
This half-day tutorial will show how to use mechanical assistance in
the analysis of some large
Z
specifications. Among the areas we will highlight are:
Detailed topics will include:
Contact Mark Saaltink
(email mark@ora.on.ca)
for further information.
Booking for the conference and for hotels can be
made by email and payment made at
registration (using a
Mastercard/Visa credit card or in
German DM cash).
NOTE: FOR SECURITY DO NOT EMAIL CREDIT CARD DETAILS.
Only send credit card details by fax or postal mail.
Those who would like to pay by cheque send the cheques (noting the
usual restrictions on amount) with the booking forms. There is no fee
for using EuroCheques, but we have to charge a fee of
Important: please send different cheques for conference booking
and for hotel booking. For the conference booking, make the cheque
payable in German DM to "BWO Marketing Service GmbH".
For the hotel booking, make the cheque payable in
German DM to "DER" (Deutsches Reisebüro).
You will receive an
acknowledgment for the actual reservation - according to availability
and your first and second hotel choice.
ZUM'98: Contact information
Conference Chair:
Mike Hinchey
6001 Dodge Street,
Omaha, NE 68182-0500, USA
Email: mhinchey@unomaha.edu
Tel: +1-402-554-4996
Fax: +1-402-554-2975
Programme Co-Chairs:
Jonathan Bowen
The University of Reading,
Whiteknights, PO Box 225,
Reading,
Berks RG6 6AY, UK
Tel: +44-118-931-6544
Fax: +44-118-985-1994
Email: J.P.Bowen@reading.ac.uk
Daimler-Benz AG
Alt-Moabit 96a, Berlin, Germany
Tel: +30-39982-209
Fax: +30-39982-107
Andreas.Fett@dbag.bln.DaimlerBenz.com
Local organization and Tool Demonstrations
For information concerning tool demonstrations and general
local organization contact:
Wolfgang Grieskamp
For details concerning publishers' stands,
leaflets and
posters, or any other queries,
please contact the Conference Chair, Mike Hinchey.
TU Berlin, Germany
Email:
wg@cs.tu-berlin.de
GMD, Germany
sh@first.gmd.de
Tutorials
For information concerning
tutorials, please contact:
David Till
City University, UK
Email:
till@soi.city.ac.uk
Educational issues session
Neville Dean (ZUGEIS Organizer)
Anglia Polytechnic University
Applied Sciences, East Road, Cambridge CB1 1PT, UK
Email:
c.n.dean@anglia.ac.uk
Tel: +44-1223-363271 ext 2329
Fax: +44-1223-352989
Tutorials and registration timetable
13:00 Tutorial registration / Lunch
14:00 Developing Safety-Critical Embedded Systems: The ESPRESS Approach
(Wolfgang Grieskamp et al., Germany)
15:30 Coffee Break
17:30 Close
14:00 Effective Use of Z/EVES
(Mark Saaltink, Canada)
15:30 Coffee Break
17:30 Close
Note:
tutorials will only take place if sufficient numbers book.
Further tutorial information is available
below.
ZUM'98 programme:
24/25/26th
September 1998
09:00 Registration / Coffee
-- T. Santen, Germany
16:30 HOL-Z in the UniForM-Workbench -
A Case Study in Tool Integration for Z
-- C. Lüth, E.W. Karlsen, Kolyang, S. Westmeier and
B. Wolff, Germany
Friday, 25th September 1998
09:15 Safety-Critical and Real-Time Systems
(Chair: Mike Hinchey)
09:15 INVITED SPEAKER
Designing a Requirements Specification Language for
Reactive Systems
-- Prof. Nancy Leveson, University of Washington / MIT, USA
10:00 Analyzing a Real-Time Program with Z
-- J. Jacky, USA
Saturday a.m., 26th September 1998
09:00 Refinement
(Chair: David Till)
09:00 Compositional Specification of Controllers for Batch
Process Operations
-- K. Lano, P. Kan and A. Sanchez, UK
09:30 Testing Refinements by Refining Tests
-- John Derrick (presenter) and Eerke Boiten, UK
Joint Best Paper Winner
10:00 More Powerful Z Data Refinement:
Pushing the State of the Art in Industrial Refinement
-- Susan Stepney, David Cooper (presenter) and
Jim C.P. Woodcock, UK
Joint Best Paper Winner
ZUM'98 Educational Issues Session
13.00 Lunch
ZUM'98 tutorials
Wednesday, 23rd September 1998
TUTORIAL A: Developing Safety-Critical Embedded Systems:
Presenters:
Wolfgang Grieskamp,1
Maritta Heisel,2
Thomas Santen3 and
Matthias Weber4
1 Technische Universität Berlin
2 Otto-von-Guericke Universität Magdeburg
3 GMD FIRST
4 Daimler-Benz AG
The tutorial is aimed at practitioners and researchers interested in
the requirement specification of reactive and embedded systems. Basic
knowledge about formal methods and Z is assumed.
TUTORIAL B: Effective Use of
Z/EVES
Presenter: Mark Saaltink,
ORA, Canada
Participants should come with a reasonably good understanding of Z and
some interest in proofs, and should leave with an interest in Z/EVES and
an understanding of ways to present their specifications to facilitate
proofs.
Bookings
Please complete the
conference booking form and
hotel booking form below as required and send them by fax
(preferably) or postal mail to:
BWO Marketing Service GmbH
ZUM'98
Mohrenstrasse 63-64
10117 Berlin
Germany
Fax: +49+30-22668464
Email:
drooff@ibm.net (c/o Stephan Drooff)
CONFERENCE BOOKING FORM:
_______________________________________________________________________________
| ZUM'98 Conference Booking Form, 11th International Conference of Z Users |
| Berlin, Germany, 24-26 September 1998 |
| |
|Surname ..................... First name .................... Title .......|
| |
|Organization ................................................................|
| |
|Address .....................................................................|
| |
|.............................................................................|
| |
|Postcode .................... Country ......................................|
| |
|Telephone ................. Fax ................. Email ...................|
| |
|Arrival Date ........................ Departure Date .......................|
| |
|Please indicate any dietary or other requirements: |
| |
|Vegetarian? ................... Other ......................................|
|_____________________________________________________________________________|
|Main conference, Thursday - Saturday am, 24-26 September, including | |
|lunch on Thursday/Friday, refreshments, conference dinner on Thursday | |
|and proceedings. 600 DM | |
|______________________________________________________________________|______|
|Tutorials (including lunch and refreshments): | |
|Wednesday 23 September 200 DM | |
| ____ ____ | |
|Please tick tutorial required: Tutorial A |__| Tutorial B |__| | |
|______________________________________________________________________|______|
|Education Session (Saturday pm, 26 September): | |
|(including lunch and refreshments) 75 DM | |
|______________________________________________________________________|______|
|Extras (subject to availability): | |
|Extra ticket for conference dinner (Thursday night) 120 DM | |
|Optional guided tour excursion (Friday night) 10 DM | |
|Invoice request 30 DM | |
|______________________________________________________________________|______|
|Discounts: (Please note, only one discount allowed) | |
|BCS FACS members -30 DM | |
|Authors (one per published paper) -100 DM | |
|______________________________________________________________________|______|
|Total amount due (in German DM): | DM |
| |_____________________|
| ____ ____ |
|Credit card: Mastercard |__| Visa |__| (ONLY BY FAX / POSTAL MAIL) |
| |
|Card Number ......../......../......../........ Expiry Date ................|
| |
|Holder ......................................................................|
| |
|Signature ..................................... Date .......................|
| |
|Comment (other payment method) ..............................................|
| |
|.............................................................................|
|_____________________________________________________________________________|
HOTEL BOOKING FORM:
_______________________________________________________________________________
| ZUM'98 Hotel Booking Form, 11th International Conference of Z Users |
| Berlin, Germany, 24-26 September 1998 |
| |
|Surname ..................... First name .................... Title .......|
| |
|Organization ................................................................|
| |
|Address .....................................................................|
| |
|.............................................................................|
| |
|Postcode .................... Country ......................................|
| |
|Telephone ................. Fax ................. Email ...................|
|-----------------------------------------------------------------------------|
| A B C |
|Hotel first choice: |__| |__| |__| |
| |
|Hotel second choice: |__| |__| |__| |
| |
| Single Double |
|Room |__| |__| with: ...................|
| |
|Arrival date ........................ Departure date .......................|
| |
|Arrival later than 6pm ............... Number of nights .....................|
| |
|Further comments ............................................................|
| |
|.............................................................................|
|_____________________________________________________________________________|
|Payment Euro-/Mastercard Visa Diners |
| |__| |__| |__| |
| |
|Card Number ......../......../......../........ Expiry Date ................|
| |
|Holder ......................................................................|
| |
|Signature ..................................... Date .......................|
| |
|Comment (other payment method) ..............................................|
| |
|.............................................................................|
|_____________________________________________________________________________|