This workshop is to allow Isabelle users to exchange techniques and results. Both finished work and work in progress can be reported. There will be a programme of short talks and possibly demonstrations. A printed proceedings will be given out to workshop participants, provided there are enough papers to justify this. There will be no formal refereeing; within reason, all talks and papers will be accepted. There will also be time for informal discussions.
Administration will be minimal in order to keep the costs down. However, we hope to be able to arrange College accommodation and meals for participants, at a cost of less than #200 (UK); as an alternative, we can supply a list of hotels. There will be a small registration fee.
For information on how to get to the Computer Laboratory, please see the WWW .
Those people interested in attending should give a notice of this to L. C. Paulson at the address below. Those people intending to give a talk or demo, or submit a paper for the proceedings, should send the title and abstract to:
Lawrence C Paulson, University LecturerComments on how the workshop should be organised are welcome.
Computer Laboratory, University of Cambridge
Pembroke Street, Cambridge CB2 3QG, England
Tel: +44(0)21223 334623
Fax: +44(0)1223 334678
E-mail: Larry.Paulson@cl.cam.ac.uk