Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Wed, 4 Nov 1992 09:20:23 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05214; Wed, 4 Nov 92 01:10:12 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (16.6/1.34) id AA05209; Wed, 4 Nov 92 01:10:05 -0800 Received: by grolsch.cs.ubc.ca id AA17105 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Tue, 3 Nov 1992 23:35:12 -0800 Date: 3 Nov 92 23:35 -0800 From: Jeffrey Joyce To: info-hol Message-Id: <5623*joyce@cs.ubc.ca> Subject: 1994 HOL Users Group Meeting HUG'94 - HOL Users Group Meeting ================================= As one of the organizers of the 1933 meeting, it's my job to organize the procedure for selecting the organizers/location for the 1994 meeting. If you would like to host the 1994 meeting, please send me a detailed proposal before Saturday, November 28, 1992. Please your proposal to me 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 last September that we would try to hold the annual meeting in a different continent each year -- and so I won't be able to accept any proposals to host the 1994 meeting in North America. On Monday, November 30, I will post a copy of all the proposals that I have received and announce the procedure for voting on these proposals. I expect that voting will take place during the first week of December. - Jeff