Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <02206-0@swan.cl.cam.ac.uk>; Thu, 13 Feb 1992 14:48:02 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA02522; Thu, 13 Feb 92 06:37:36 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from n-kulcs.cs.kuleuven.ac.be by ted.cs.uidaho.edu (16.6/1.34) id AA02518; Thu, 13 Feb 92 06:37:28 -0800 Received: from gpx3u.esat.kuleuven.ac.be by n-kulcs.cs.kuleuven.ac.be (5.65b/n_kulcs1.1) id AA07594; Thu, 13 Feb 92 15:39:35 +0100 Date: Thu, 13 Feb 92 15:39:35 GMT Message-Id: <9202131539.AA03200@esat.kuleuven.ac.be> Original-Received: by esat.kuleuven.ac.be Thu, 13 Feb 92 15:39:36 GMT PP-warning: Illegal Received field on preceding line From: claesen%imecom.imec.be@be.imec To: "info-hol@ted.cs.uidaho.edu"@be.imec Subject: HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * Invitations for the HOL-93 workshop organization. At the HOL-91 workshop in Davis it has been decided that I collect proposals and afterwards votes for the organization of the HOL-93 workshop which will take place in 1993. May I therefore ask to send the proposals for the organization of the HOL-93 workshop to "claesen@imec.be". The closing dates for the candidate sites is 8 March 1992. After that date I will send arround a message on the candidate sites to "infohol" and all subscribers will be invited to vote. Votes will be collected till 1 April 1992 at "claesen@imec.be". After that the results of the votes will be announced on "info-hol". Thank you very much for your cooperation. Luc Claesen IMEC / Kath. Univ. Leuven Kapeldreef 75 B-3001 Leuven (Belgium) phone: +32-16-281203 fax: +32-16-281515 email: claesen@imec.be * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 * HOL-93 *