Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Date: Mon, 16 Mar 92 05:16:19 GMT
Message-Id: <9203160516.AA19802@esat.kuleuven.ac.be>
Original-Received: by esat.kuleuven.ac.be Mon,
                   16 Mar 92 05:16:20 GMT
PP-warning: Illegal Received field on preceding line
From: windley%panther.cs.uidaho.edu@be.imec
To: claesen@be.imec
Cc: "info-hol@ted.cs.uidaho.edu"@be.imec
Subject: Re: voting on next meetings...


On Sat, 14 Mar 92 11:53:30 GMT, claesen@imec.be wrote:
+------------
| 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.
|

Hi Everybody,

Sorry to have caused such a stink.  I certainly didn't mean to upset
anyone.  I apologize if I've caused any bad feelings.

I think Luc's proposal is fair and solves the problem.  Let's go ahead and
vote on Luc's original message (including Idaho) and let Luc sort it all
out (after all, that's why he gets paid the big bucks ;-).

Cheers,

--phil--

================== RFC 822 Headers ==================
Received: from localhost by panther.cs.uidaho.edu with SMTP id AA05090
        (5.65c/IDA-1.4.4); Sun, 15 Mar 1992 20:19:22 -0800
Message-Id: <199203160419.AA05090@panther.cs.uidaho.edu>
In-Reply-To: Your message of Sat, 14 Mar 92 11:53:30 +0000.
        <9203141153.AA08823@esat.kuleuven.ac.be>
Date: Sun, 15 Mar 92 20:19:21 -0800
X-Mts: smtp