Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <23141-0@swan.cl.cam.ac.uk>; Thu, 11 Jun 1992 08:31:28 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05905; Wed, 10 Jun 92 23:54:38 -0700 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 AA05900; Wed, 10 Jun 92 23:54:29 -0700 Received: from gpx3u.esat.kuleuven.ac.be by n-kulcs.cs.kuleuven.ac.be (5.65b/n_kulcs1.1) id AA00607; Thu, 11 Jun 92 08:22:25 +0200 Date: Thu, 11 Jun 92 08:24:11 +0100 Message-Id: <9206110724.AA09416@esat.kuleuven.ac.be> Original-Received: by esat.kuleuven.ac.be Thu, 11 Jun 92 08:24:12 +0100 PP-warning: Illegal Received field on preceding line From: claesen@be.imec To: infohol@m. Subject: Email submissions for |- HOL92 (info) Hello Everybody, As you know contributions for |- HOL92 can besides the traditional ways, also be sent in in electronic form. As the announcement for the workshop is only sent arround by email, I assume that all of you have access to it. In case you are considering sending contributions by email, you can use several ways: ASCII, LaTeX source, LaTeX dvi, PostScript. I personally prefer either one of the later two (dvi or PostScript). PostScript is of course prefered if figures are included. You may also send LaTeX source files, but then also make sure that you include all non-standard style files that you use in LaTex. Several mail servers will not allow messages of over ~50Kbytes. Therefore you may use "compress" and "uuencode" to send over your information. Please contact me if you have any further questions. Kind regards, Luc Claesen IMEC / Kath. Univ. Leuven Kapeldreef 75 B-3001 Leuven (Belgium) phone: +32-16-281203 fax : +32-16-281515 email: claesen@imec.be