Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from cs.uidaho.edu (actually ted.cs.uidaho.edu !OR! info-hol-request@cs.uidaho.edu) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Fri, 2 Jul 1993 10:47:02 +0100
Received: by cs.uidaho.edu (16.6/2.0) id AA20929; Fri, 2 Jul 93 01:53:00 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from imec.be by cs.uidaho.edu (16.6/2.0) id AA20924;
          Fri, 2 Jul 93 01:52:40 -0700
Received: from imec.imec.be (imec) by imec.be (5.65c/IDA-1.4.4-IMEC) 
          id AA08648d; Fri, 2 Jul 1993 10:52:54 +0200
Date: Fri, 2 Jul 93 10:52:05 +0200
From: Catia Angelo <catia@imec.be>
Message-Id: <9307020852.AA29350@imec.imec.be>
Original-Received: by imec.imec.be Fri, 2 Jul 93 
                   10:52:05 +0200
PP-warning: Illegal Received field on preceding line
To: info-hol@cs.uidaho.edu
Subject: list of projects


Hi everybody,

I would like to build a list of projects using HOL in industries
and universities. If you work on such projects and would like to be 
included in this list, please send me the following information:

- name of the industry/university
- country
- name of the person
- email of the person
- subject of the research and/or development (not more than 3 lines)

I plan to send this list to the HOL mailing list in the future.

Thanks,

Catia Angelo
catia@imec.be