Return-Path: Return-Path: Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET with NIFTP (PP) id <2168-0@swan.cl.cam.ac.uk>; Sat, 8 Jun 1991 04:46:15 +0100 Received: from vax.nsfnet-relay.ac.uk by sun.NSFnet-Relay.AC.UK Via Ethernet with SMTP id am22343; 6 Jun 91 21:39 GMT Received: from [129.101.100.20] by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP id aa21282; 6 Jun 91 21:47 BST Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (15.11/1.34) id AA12223; Thu, 6 Jun 91 14:15:37 pdt Received: by panther.cs.uidaho.edu (5.57/Ultrix3.0-C) id AA02512; Thu, 6 Jun 91 14:19:16 -0700 Message-Id: <9106062119.AA02512@panther.cs.uidaho.edu> To: info-hol@edu.uidaho.cs.ted Subject: HOL91 Date: Thu, 06 Jun 91 14:19:15 PDT From: Phil Windley Due to the short turn around time promised for the HOL91 abstracts, I will not be sending everyone hard--mail receipts for their papers. If you sent an PostScript submission, you should have received an e--mail reply informing you that the paper printed OK. If not, please send me e--mail IMMEDIATELY. If you sent me hard copy, I did not acknowledge your paper. If you're curious about whether or not it got here, please e--mail me. (There were only a few of these.) We should have a program made up by July 1st and will announce it then. Thanks, --phil-- Phil Windley | windley@cs.uidaho.edu Program Chair | windley@cheetah.cs.uidaho.edu 1991 HOL Conference | Department of Computer Science | University of Idaho | Phone: 208.885.6501 Moscow, ID 83843 | Fax: 208.885.6645