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, 11 Jan 1994 11:37:48 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA12787; Tue, 11 Jan 1994 04:29:45 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.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 AA12783; Tue, 11 Jan 1994 04:29:43 -0700 Received: from imec.be by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA12264; Tue, 11 Jan 1994 03:27:35 -0800 Received: from imec.imec.be (imec) by imec.be (5.65c/IDA-1.4.4-IMEC) id AA05290d; Tue, 11 Jan 1994 12:27:18 +0100 Date: Tue, 11 Jan 94 12:21:01 +0100 Message-Id: <9401111121.AA11038@imec.imec.be> Original-Received: by imec.imec.be Tue, 11 Jan 94 12:21:02 +0100 PP-warning: Illegal Received field on preceding line From: claesen@imec.be (Luc Claesen) To: "info-hol@cs.uidaho.edu"@imec.be Subject: HOL'92 proceedings Dear friends, there are still a few copies left of the proceedings of the HOL'92 workshop that took place in Leuven in September 1992. If you are interested in obtaining one, please let me know by sending email to claesen@imec.be . I will send them (as long as available) free of charge. Hereby I would like to give priority to Ph.D. students working on HOL. All the best for a happy and scientific fruitful 1994! Kind regards, Luc Claesen IMEC / Kath. Univ. Leuven Kapeldreef 75 B-3001 Leuven (Belgium) phone: +32-16-281203 fax: +32-16-281501 email: claesen@imec.be