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


Educational Issues Session
Call for Presentations


It is proposed to devote a session of ZUM'98, possibly as an extra
session on the Saturday morning (26 September 1998), to educational
issues of formal methods. In addition to papers already submitted for
inclusion in the ZUM proceedings, there will be opportunity for a
number of informal presentations, either as papers or posters. These
presentations may cover *all* aspects of formal methods education (not
just Z) - the intention is to stimulate lively debate and further
understanding of all issues relating to teaching and learning formal
methods.

All proposals for informal papers or posters should be sent by
1 May 1998 to:

    Dr C Neville Dean (Educational Issues Chair)
    School of Applied Sciences
    Anglia Polytechnic University
    Cambridge CB1 1PT, UK
    Email: c.n.dean@anglia.ac.uk
    Tel: +44-1223-363271 ext 2329
    Fax: +44-1223-352979

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

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