Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 14 Jan 1994 18:45:05 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA12714; Fri, 14 Jan 1994 11:34:30 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA12707; Fri, 14 Jan 1994 11:34:18 -0700 Received: from swan.cl.cam.ac.uk by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA01838; Fri, 14 Jan 1994 10:31:43 -0800 Received: from gadwall.cl.cam.ac.uk (user jac1 (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Fri, 14 Jan 1994 18:30:59 +0000 Received: by gadwall.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA09312; Fri, 14 Jan 94 18:45:55 GMT Date: Fri, 14 Jan 94 18:45:55 GMT From: Juanito.Camilleri@cl.cam.ac.uk Message-Id: <9401141845.AA09312@gadwall.cl.cam.ac.uk> To: info-hol@cs.uidaho.edu Subject: HOL 95 (final call) To: info-hol In December, I sked for proposals to host HOL 95 -- in response, I received two proposals to date. I would like to confirm that no-one else sent me a proposal (I have no reason to suspect that there are any missing proposals except for the fact that my e-mail connection tends to be flakey at times). If you believe that you sent me a proposal to host HOL 95, please let me know before Monday 17th January. I will announce the proposals on Tuesday 18th January to commence voting procedures. Juanito Camilleri (jac1@cl.cam.ac.uk)