Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 22 Mar 1995 00:31:20 +0000
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA299080739;
          Tue, 21 Mar 1995 17:05:39 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from bobcat.cs.byu.edu by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA299050738;
          Tue, 21 Mar 1995 17:05:38 -0700
Received: from lal.cs.byu.edu (localhost) 
          by bobcat.cs.byu.edu (1.37.109.15/CS-Client) id AA022580849;
          Tue, 21 Mar 1995 17:07:29 -0700
Message-Id: <199503220007.AA022580849@bobcat.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: HOL96 Votes
Date: Tue, 21 Mar 1995 17:07:29 -0700
From: Phil Windley <windley@lal.cs.byu.edu>


The outcome of the votes on where to hold HOL96 was as follows:

Bad Herrenalb, Blackforest, Germany:	10
Turku, Finland:				18
Tele Danmark Research:		 	 9

Therefore, HOL96 will be hosted by Dr. Joakim von Wright, Abo Akademi
University and other staff at Turku Center for Computer Science (TUCS) and
Abo Akademi University.

--phil--

__________________________________________________________________________
Phillip J. Windley, Asst. Professor              |  windley@cs.byu.edu
Laboratory for Applied Logic	                 |  
Dept. of Computer Science, TMCB 3370             |
Brigham Young University                         |  Phone: 801.378.3722
Provo UT                  84602-6576             |  Fax:   801.378.7775
------------------------------------------------------------------------
If you use WWW, I can be found <A
HREF="http://lal.cs.byu.edu/people/windley/windley.html">here</A> or<A
HREF="http://www.imall.com/homepage.html">here</A>.