Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10)
	id MAA24467 for qed-out; Wed, 3 May 1995 12:53:45 -0500
Received: from altair (altair.mcs.anl.gov [140.221.2.7]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with ESMTP
	id MAA24462 for <qed@mcs.anl.gov>; Wed, 3 May 1995 12:53:37 -0500
From: Larry Wos <wos@mcs.anl.gov>
Date: Wed, 3 May 1995 12:53:36 -0500
Message-Id: <199505031753.MAA10998@altair>
To: qed@mcs.anl.gov
Subject: contact req.
Sender: owner-qed@mcs.anl.gov
Precedence: bulk
X-UIDL: 799524829.000

 
Can somebody tell me wo to cntact by email and by phone on the
interest to use a theorem prover for the hardware verification,
secifically, the recent e-mal on BBD's?  Thaks.  LW