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; Tue, 15 Mar 1994 18:48:15 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA08161; Tue, 15 Mar 1994 11:28:10 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA08157; Tue, 15 Mar 1994 11:28:06 -0700 Received: from vanuata.dcs.gla.ac.uk by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA29612; Tue, 15 Mar 1994 10:28:22 -0800 Received: from switha.dcs.gla.ac.uk by goggins.dcs.gla.ac.uk with LOCAL SMTP (PP) id <01990-0@goggins.dcs.gla.ac.uk>; Tue, 15 Mar 1994 18:27:54 +0000 Received: by switha.dcs.gla.ac.uk (4.1/Dumb) id AA03724; Tue, 15 Mar 94 18:27:50 GMT From: hug94@dcs.gla.ac.uk Message-Id: <9403151827.AA03724@switha.dcs.gla.ac.uk> To: info-hol@cs.uidaho.edu Cc: tfm@dcs.gla.ac.uk Subject: Postcript Submissions to HUG94 Date: Tue, 15 Mar 94 18:27:49 +0000 Just a reminder that the submission deadline for the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications is 21 March 1994 The call for papers mentioned that Postcript submissions are welcome. Please ensure, however, that all such submissions are UUENCODED before mailing them. Failure to do so may result in your Postcript being slightly scrambled when it reaches me, causing delays. The preferred form is uuencoded, *compressed*, postcript. Tom