[MG] ================================================ AMAST Links 02 05

                        Isabelle users Workshop
                  Cambridge, UK, 18-19 September 1995
                        _(note revised dates)_

   *Update* of [AL0203CC].

  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 WWW at 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