Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <15053-0@swan.cl.cam.ac.uk>; Sat, 14 Mar 1992 11:07:16 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA16190; Sat, 14 Mar 92 02:51:15 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from n-kulcs.cs.kuleuven.ac.be by ted.cs.uidaho.edu (16.6/1.34) id AA16186; Sat, 14 Mar 92 02:51:01 -0800 Received: from gpx3u.esat.kuleuven.ac.be by n-kulcs.cs.kuleuven.ac.be (5.65b/n_kulcs1.1) id AA22210; Sat, 14 Mar 92 11:53:15 +0100 Date: Sat, 14 Mar 92 11:53:30 GMT Message-Id: <9203141153.AA08823@esat.kuleuven.ac.be> Original-Received: by esat.kuleuven.ac.be Sat, 14 Mar 92 11:53:31 GMT PP-warning: Illegal Received field on preceding line From: claesen%imec.be@be.imec To: "info-hol@ted.cs.uidaho.edu"@be.imec Subject: voting on next meetings... Hello all of you, currently I am collecting the votes for having the next HOL workshop. There seems to be some dispute now on the possible candidates for having the workshop in America or in Europe. At the HOL workshop in Davis there has indeed been an informal proposal to alternate the locations accross the Atlantic, and I understand the fear of Jeff and Phil. I propose to further collect the votes until the deadline that was proposed and that we vote for the next TWO locations (with the highest votes), in which we should take into consideration the above considerations. Kind regards, Luc