Return-Path: 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, 19 Jan 1995 18:34:46 +0000 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA28959; Thu, 19 Jan 1995 11:10:00 -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 AA28955; Thu, 19 Jan 1995 11:09:59 -0700 Received: from localhost by bobcat.cs.byu.edu (1.38.193.4/CS-Client) id AA01852; Thu, 19 Jan 1995 11:09:13 -0700 Message-Id: <9501191809.AA01852@bobcat.cs.byu.edu> To: info-hol@leopard.cs.byu.edu Subject: HOL96 RFP Date: Thu, 19 Jan 1995 11:09:13 -0700 From: Phil Windley Hi All, As is our custom in the HOL community, the organizer of the current HOL conference conducts the voting to decide where the next years conference will be. So.... This mailing solicits proposals to host HOL96. Here are the details: 1.) No one in North America may submit a proposal. Proposals from North American sites will be rejected (the tradition is that a HOL conference may not occur on the same continent as the last HOL conference). 2.) Email the proposal to me, not the list. I will collect them and send them out to the list in a group. Only email proposals will be accepted. If you would like to put together a WWW page describing your proposal (with pictures???) and include the URL in the mailing, that is fine, but please try to have the mailing stand on its own so people without WWW access can vote. 3.) Proposals can contain as much or as little information as you like (within reason, I'm not going to post a 3MB file, obviously! ;-), but remember that you're trying to convince people to vote for your site, so you need enough information for them to make a choice. 4.) I must receive your proposal by February 11 (Friday) at 11:59pm MST. 5.) I will conduct a vote on the proposals received by the deadline. So if you're not submitting a proposal, ignore this message and look for the CFV (call for votes). 6.) If you have questions, please mail me directly, not the list, and I will answer them if I can. --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 here orhere.