Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Message-Id: <199203091755.AA10839@panther.cs.uidaho.edu>
To: info-hol@edu.uidaho.cs.ted
Cc: claesen@be.imec
Subject: Re: CALL FOR VOTES - CALL FOR VOTES - CALL FOR VOTES - CALL FOR VOTES
In-Reply-To: Your message of Mon, 09 Mar 92 13:58:54 +0000. <9203091358.AA27655@esat.kuleuven.ac.be>
Date: Mon, 09 Mar 92 09:55:29 -0800
From: Phil Windley <windley@edu.uidaho.cs.panther>


On Mon, 09 Mar 92 13:58:54 GMT, claesen@imec.be wrote:
+------------
| The deadline of 8 March 1992 for proposals to hold the HOL-93 workshop
| has passed. In chronological order I received the following proposals:
|
|    proposer:                  -  Place:
|
| 1) Juanito Camilleri          -  University of Malta, Msida, Malta.
| 2) Jeff Joyce                 -  Univ. Brit. Columbia, Vancouver, Canada.
| 3) Ramayya Kumar              -  Univ. Karlsruhe, Karlsruhe, Germany.
| 4) Phil Windley                       -  Coeur D'Alene Resort, Idaho, USA.
|
| A short description of the different alternatives is included below.
| Please send your votes for one of these places to me BEFORE 1 APRIL
| 1992! (This is not a fools joke!)

Hi All,

It was my understanding when we conducted the vote that resulted in HOL91
at Davis and HOL92 at IMEC that the workshop was to alternate between
Europe and North America.  In fact, I don't think we even conducted a
separate vote on holding it in Europe in 92, it was just assumed that it
would be there.

Now we seem to be in a free for all again.  Luc doesn't want to be in the
position of enforcing this and I don't blame him.  Also, I like traveling
to Europe and Malta sounds especially inviting.  On the other hand, I think
that there are good reasons *not* to hold HOL93 in Europe.

I would argue now, like I argued in 90, that its in the best interest of
the HOL community to alternate so that HOL and Formal Methods get exposure
in North America where it is sorely needed.  I think that the excellent
attendance at the Davis HOL meeting last summer is a good example of the
interest that can be generated in North America.

If we are going back to a free for all, Idaho respectfully withdraws its
offer to host HOL93 so that we can cast our votes for UBC and not risk
splitting the vote.

Cheers,

--phil--