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 produced provided enough papers are submitted. 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
expect to be able to arrange College accommodation for participants at a cost
of less than #50 (UK) per day, inclusive of all meals. As an alternative, we
can supply a list of hotels. There will be a small registration fee.
The workshop immediately preceeds HOA '95 and LOPSTR '95.
For information on how to get to the Computer Laboratory, please see the URL
http://www.cl.cam.ac.uk/site-maps/howtogethere.html
If you are interested in attending, please let me know. Send your title and
abstract if you would like to give a talk or demo. We hope to compile the
proceedings electronically from papers submitted in Postscript format; please
suppress page numbering.
The deadline for abstracts is 1 June 1995, and the deadline for proceedings
papers is 1 July.
Lawrence C Paulson, University Lecturer
Computer Laboratory, University of Cambridge,
Pembroke Street, Cambridge CB2 3QG, England
Tel: +44(0)21223 334623 Fax: +44(0)1223 334678