Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Sat, 1 May 1993 19:07:24 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA07271; Sat, 1 May 93 10:59:58 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (16.6/1.34) id AA07266; Sat, 1 May 93 10:59:54 -0700 Received: by grolsch.cs.ubc.ca id AA23044 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Sat, 1 May 1993 10:59:58 -0700 Date: 1 May 93 10:59 -0700 From: hug93 To: info-hol@ted.cs.uidaho.edu Message-Id: <44*hug93@cs.ubc.ca> Subject: HOL Workshop Papers -- Last Call Today, May 1 is the official deadline for submissions to the HOL Workshop. I suspect that it may take a day or two before we start sending submissions out to referees -- and so papers that arrive two or three days late will probably be accepted for consideration. If you are still planning to submit a paper, please send it electronically (Postscript or uuencoded postscript) to hug93@cs.ubc.ca. Please note that full details on paper submission are available by anonymous ftp at: cs.ubc.ca:/pub/local/hug93/CFPaper1.txt (and .ps.Z)