[MF] ================================================ AMAST Links 02 06

                        Isabelle Users Workshop
                  Cambridge, UK, 18-19 September 1995

    *Update* of information in [AL0205MG].

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206MF.txt

  A registration form is attached to the full version of this
announcement.  A _list of submitted abstracts_ is available at URL:

   http://www.cl.cam.ac.uk/users/lcp/Workshop/index.html

  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 at the URL:

   http://www.cl.cam.ac.uk/users/lcp/Workshop/programme.html

  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_ at URL:

   http://www.cl.cam.ac.uk/users/lcp/Workshop/register.txt

  General comments on the programme are also welcome.