Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Tue, 16 Feb 1993 02:16:51 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA16920; Mon, 15 Feb 93 17:50:58 -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 AA16915; Mon, 15 Feb 93 17:50:52 -0800 Received: by grolsch.cs.ubc.ca id AA00359 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Mon, 15 Feb 1993 17:50:24 -0800 Date: 15 Feb 93 17:49 -0800 From: Jeffrey Joyce To: info-hol@edu.uidaho.cs.ted Message-Id: <6125*joyce@cs.ubc.ca> Subject: HOL Users Group Meeting in 1994 > As one of the organizers of HOL 93, it's my job to run the procedure > for selecting the site for HOL 94. Last November, I asked for proposals > to host HOL 94 -- in response, I received just one proposal which is > attached below. It seemed unnecessary to me to go to the extra trouble > of running a voting procedure when we have just one proposal. However, > before concluding that the proposed site of Malta (to be hosted by > Juanito Camilleri) is indeed the site of HOL 94, I would like to confirm > that no-one else sent me a proposal last December (I have no reason > to suspect that there are any missing proposals except for the fact > that there was just one proposal.) If you believe that you sent me > a proposal to host HOL 94 sometime before the end of last November, > please let me know before Feb 15. Otherwise, it should be concluded > that Juanito's proposal to host HOL 94 in Malta has been accepted. It's now Feb 15 and I have not heard from anyone else --- and so it should indeed be concluded that the Juanito's proposal to host the users group meeting in 1994 has been accepted.