Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Thu, 2 Jun 1994 18:10:36 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA28157;
          Thu, 2 Jun 1994 10:45:09 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from vanuata.dcs.gla.ac.uk by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA28153;
          Thu, 2 Jun 1994 10:45:03 -0600
Received: from switha.dcs.gla.ac.uk by goggins.dcs.gla.ac.uk 
          with LOCAL SMTP (PP) id <14978-0@goggins.dcs.gla.ac.uk>;
          Thu, 2 Jun 1994 17:43:59 +0100
Received: by switha.dcs.gla.ac.uk (4.1/Dumb) id AA05218;
          Thu, 2 Jun 94 17:43:53 BST
From: tfm@dcs.gla.ac.uk
Message-Id: <9406021643.AA05218@switha.dcs.gla.ac.uk>
To: info-hol@leopard.cs.byu.edu
Cc: tfm@dcs.gla.ac.uk
Subject: HUG94 WWW Page and FTP area.
Date: Thu, 02 Jun 94 17:43:52 +0100


I have set up a mosaic page for information about the 7th International
Workshop on Higher Order Logic Theorem Proving and its Applications, to
take place in Malta, 19-22 September 1994.  To get at the information,
point your mosaic program at

   http://www.dcs.glasgow.ac.uk/~hug94/

There is also an ftp directory with the same information:

  pub/hug94   at   ftp.dcs.glasgow.ac.uk

The mosaic pages and the ftp directory both contain the full programme,
registration, and hotel booking information for the conference.  In
addition, there is a certain amount of extra useful information related
to the conference -- such as visa and travel data. I will be adding to
this as further information becomes available.

Tom Melham
HUG94 Programme Chair