Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
Message-Id: <199601191205.OAA08762@tanichka.abo.fi>
To: info-hol@leopard.cs.byu.edu, ucam.cl.isabelle@cl.cam.ac.uk
Subject: Call for hosts, HOL97
Date: Fri, 19 Jan 1996 14:05:28 +0200
From: John Harrison <jharriso@ra.abo.fi>


As one of the HOL96 organizers, it's my job to solicit proposals from groups
who want to host the *next* meeting in 1997. The rules are:

1. No proposals from Europe will be considered. The custom is for the
   conference to switch continents each year. But it is not necessary
   that the next conference must be in North America; proposals from
   other countries are very welcome.

2. Email the proposal to me, John Harrison (jharriso@abo.fi). All proposals
   received will be acknowledged as promptly as possible. You may like to
   put together a Web page describing your proposal and give me the URL; if
   you do, please send me an ASCII version too.

3. Please include enough information for people to make a reasoned choice.
   It's not necessary, of course, that every last detail be decided now.
   But useful information might include airline connections, likely costs
   and possible sources of funding (e.g. student bursaries).

4. The deadline for proposals will be 1st March 1996. After that, votes
   will be collected from readers of info-hol and a few other groups.
   There will be a separate announcement about the voting procedure in
   due course.

John.

=========================================================================
John Harrison                   | email: jharriso@abo.fi
Abo Akademi University          | web:   http://www.abo.fi/~jharriso/
Department of Computer Science  | phone: +358 (9)21 265-4049
Lemminkaisenkatu 14a            | fax:   +358 (9)21 265-4732
20520 Turku                     | home:  +358 (9)21 2316132
FINLAND                         | time:  UTC+2:00
=========================================================================