Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually mcs.anl.gov !OR! owner-qed@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Thu, 27 Apr 1995 14:19:06 +0100
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10) 
          id IAA06193 for qed-out; Thu, 27 Apr 1995 08:12:13 -0500
Received: from simon.cs.cornell.edu (SIMON.CS.CORNELL.EDU [128.84.154.10]) 
          by antares.mcs.anl.gov (8.6.10/8.6.10) with ESMTP id IAA06185 
          for <qed@mcs.anl.gov>; Thu, 27 Apr 1995 08:12:02 -0500
Received: from cloyd.cs.cornell.edu (CLOYD.CS.CORNELL.EDU [128.84.227.15]) 
          by simon.cs.cornell.edu (8.6.10/R1.01) with ESMTP id JAA16233 
          for <qed@mcs.anl.gov>; Thu, 27 Apr 1995 09:12:01 -0400
Received: from awamore.cs.cornell.edu (AWAMORE.CS.CORNELL.EDU [128.84.254.163]) 
          by cloyd.cs.cornell.edu (8.6.10/M1.6) with ESMTP id JAA23632 
          for <qed@mcs.anl.gov>; Thu, 27 Apr 1995 09:11:59 -0400
Received: (rodmoten@localhost) by awamore.cs.cornell.edu (8.6.10/C1.3) 
          id JAA14628; Thu, 27 Apr 1995 09:11:56 -0400
Message-Id: <199504271311.JAA14628@awamore.cs.cornell.edu>
To: qed@mcs.anl.gov
Subject: Re: QED Workshop II
In-reply-to: Roman Matuszewski <ROMAT%PLEARN.BITNET@ANLVM.CTD.ANL.GOV> <199504271132.GAA05479@antares.mcs.anl.gov>
Date: Thu, 27 Apr 1995 09:11:55 -0400
From: Roderick Moten <rodmoten@cs.cornell.edu>
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

>I believe that persons that can not (or do not want to)
>attend the QED Workshop could suggest us interesting
>(and important for QED) topics.

Is it possible that there could be a discussion
contrasting and comparing the design and implementation of 
various theorem provers?

Rod