11th International Conference of Z Users (ZUM'98)
Berlin, Germany, 24-25 September 1998


Tutorials
Call for Proposals


It is proposed to hold one or more tutorials in association with
ZUM'98, probably beforehand (e.g., Wednesday 23 September 1998 and
possibly Tuesday 22 September 1998).  The tutorials are normally
oriented towards the formal Z notation or the B-Method, but can also
cover cover any aspect of formal methods, if suitable for an audience
with a Z background.

All proposals should be sent by 1 May 1998 to <zum98-tuts@cis.njit.edu>
and one of the tutorial co-chairs:

    David Till
    City University, Department of Computer Science
    Northampton Square, London EC1V 0HB, UK
    Tel: +44-171-477-8552   Fax: +44-171-477-8587
    Email: till@soi.city.ac.uk

    Wolfgang Grieskamp
    TU Berlin, FB13, IKS, Sekr FR5-13,
    Franklinstr. 28-29, D-10597 Berlin
    Email: wg@cs.tu-berlin.de

Please include a summary of the topics to be covered, length of the
tutorial (typically a half day or a full day), any prerequisites for the
audience, requirements (e.g., overhead projector, computer equipment,
etc.), course materials (e.g., printed notes, copies of slides, etc.),
and any other information you think relevant.

For further on-line information on ZUM'98, see under:

    http://www.fmse.cs.reading.ac.uk/zum98/