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; Thu, 9 Feb 1995 20:56:30 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA21351;
          Thu, 9 Feb 1995 13:25:17 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from bobcat.cs.byu.edu by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA21346;
          Thu, 9 Feb 1995 13:25:16 -0700
Received: from localhost by bobcat.cs.byu.edu (1.38.193.4/CS-Client) id AA05343;
          Thu, 9 Feb 1995 13:25:51 -0700
Message-Id: <9502092025.AA05343@bobcat.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: HOL96 RFP (last call)
Date: Thu, 09 Feb 1995 13:25:51 -0700
From: Phil Windley <windley@lal.cs.byu.edu>


Proposals to host HOL96 need to be to me by Saturday February 11 at 11:59pm
MST.  Remember, only those outside North America are eligible.

So far, I've received proposals from 

Jockum von Wright
Thomas Kropf

--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>.