The full version of this announcement is available.
A registration form is attached to the full version of this announcement. A list of submitted abstracts is available.
Student accommodation has been adopted in order to keep the costs down.
Registrations should be sent to Angela Leeke <akl@cl.cam.ac.uk>
The Proceedings have been sent for printing: 17 papers, 264 pages.
The Preliminary Programme is now available.
If you are attending the Isabelle Workshop, please check that your entry is correct.
If you would like to attend and have not done so, please register immediately, using the form .
General comments on the programme are also welcome.