Dr Jacques Fleuriot.
Division of Informatics,
University of Edinburgh,
80 South Bridge,
Edinburgh, EH1 1HN,
Scotland.
Tel: 44-131-650-9342.
Fax: 44-131-650-6516.
Email: jdf@dai.ed.ac.uk.
Antongiulio Fornasiero.
Edinburgh Univiversity,
Department of Mathematics.
Nick Gilbert.
Heriot-Watt University,
Department of Mathematics,
Riccarton,
Edinburgh, EH14 4AS.
Email: nich@ma.hw.ac.uk.
Paolo Torrini.
University of Leeds,
School of Computer Studies,
Leeds LS2 9JT, UK.
Tel: 0113 233 6806.
Fax: 0113 233 5468.
Email: paolot@scs.leeds.ac.uk.
Dr Joe Wells.
Heriot-Watt University,
Computing and Electrical Engineering,
Riccarton,
Edinburgh EH14 4AS,
Scotland.
Tel:+44 131 451 3869.
Fax: +44 131 451 3327.
Email: jbw@macs.hw.ac.uk.