Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Fri, 6 Nov 1992 12:04:33 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA17446;
          Fri, 6 Nov 92 03:37:25 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from n-kulcs.cs.kuleuven.ac.be by ted.cs.uidaho.edu (16.6/1.34) 
          id AA17440; Fri, 6 Nov 92 03:37:12 -0800
Received: from gpx3u.esat.kuleuven.ac.be 
          by n-kulcs.cs.kuleuven.ac.be (5.65b/n_kulcs1.1) id AA29027;
          Fri, 6 Nov 92 13:32:03 +0200
Date: Fri, 6 Nov 92 11:36:04-0100
Message-Id: <9211061236.AA00743@esat.kuleuven.ac.be>
Original-Received: by esat.kuleuven.ac.be Fri, 
                   6 Nov 92 11:36:05-0100
PP-warning: Illegal Received field on preceding line
From: claesen@be.imec
To: infohol@.m
Subject: Participants proceedings |-HOL'92


Dear HOL-users,

at the |-HOL'92 workshop of September 92 in Leuven, papers of the 
presentations have been collected in the participants proceedings.
Slightly corrected versions of the papers will be published by
Elsevier North-Holland in the beginning of 1993. I will keep info-HOL
informed when this will happen.

From the workshop in September there are still a few copies of
the participants version of the proceedings available. The proceedings 
contain the papers presented and count 600 pages. They are
available at a first come first serve basis for who is interested
in getting them now. The cost is 2300 BEF (Belgian Francs), this
includes the basic costs and the costs for packing and mailing.

If you are interested in obtaining one of these copies please
send an email to claesen@imec.be to reserve a copy. You will be
informed if there are still copies available.

If so you will be asked to send either a cheque in Belgian Francs
of 2300 BEF or to do a bank transfer to:

Bank: ASLK Heverlee Centrum - Naamsesteenweg 193, 3001 Heverlee Belgium
on account number 001-1457488-42 of 
IMEC - Kapeldreef 75, B-3001 Heverlee Belgium
with the message: "VSDM HOL92 PROCEEDINGS KD-50506"

Please also add the address to where the proceedings have to be sent.
After the payments the proceedings will be sent to this address.

Upon your request an invoice can be sent.

Kind regards,

Luc Claesen
IMEC / Kath. Univ. Leuven
Kapeldreef 75
B-3001 Leuven
phone: +32-16-281203
fax: +32-16-281515
email: claesen@imec.be


