Delivery-Date: 
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
Date: Fri, 3 Dec 93 07:20:24 GMT
From: Juanito.Camilleri@cl.cam.ac.uk
Message-Id: <9312030720.AA01613@gadwall.cl.cam.ac.uk>
To: info-hol@cs.uidaho.edu
Subject: HOL'95 --- Call for Hosts


HOL'95 - Higher Order Logic Theorem Proving and its Applications
================================================================

As one of the organizers of the 1994 workshop, it's my job to 
organise the procedure for selecting the organisers/location for 
the 1995 meeting. If you would like to host the 1995 meeting, please
send me a detailed proposal before January 5, 1994.  Please send
your proposal to jac1@cl.cam.ac.uk only -- and I will eventually 
post it to the newsgroup along with the rest of the proposals.

The proposals should, if possible, give specific details on proposed
arrangements for accommodation, airline connections (e.g., are there
direct connections to major centers in Europe and North America ?),
and possibilities of obtaining funding for student travel bursaries.

It was decided at the HUG'92 meeting that we would try to hold the 
annual meeting in a different continent each year -- and so I will 
not be able to accept any proposals to host the 1995 meeting in 
Europe.

On January 10, I will post a copy of all the proposals that I have 
received and announce the procedure for voting on these proposals.

 - Juan

=====================================================================