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 12:55:24 +0100
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10) 
          id GAA05484 for qed-out; Thu, 27 Apr 1995 06:32:40 -0500
Received: from ANLVM.CTD.ANL.GOV (anlvm.ctd.anl.gov [146.137.96.2]) 
          by antares.mcs.anl.gov (8.6.10/8.6.10) with SMTP id GAA05479 
          for <qed@MCS.ANL.GOV>; Thu, 27 Apr 1995 06:32:33 -0500
Message-Id: <199504271132.GAA05479@antares.mcs.anl.gov>
Received: from ANLVM by ANLVM.CTD.ANL.GOV (IBM VM SMTP R1.2.2ANL-MX) with BSMTP 
          id 8469; Thu, 27 Apr 95 06:32:21 CDT
Received: from PLEARN.EDU.PL by ANLVM (Mailer R2.07B) with BSMTP id 7839;
          Thu, 27 Apr 95 06:32:20 CDT
Received: from PLEARN.BITNET (NJE origin ROMAT@PLEARN) 
          by PLEARN.EDU.PL (LMail V1.2a/1.8a) with BSMTP id 6562;
          Thu, 27 Apr 1995 13:32:00 +0200
Date: Thu, 27 Apr 95 13:30:51 CET
From: Roman Matuszewski <ROMAT%PLEARN.BITNET@ANLVM.CTD.ANL.GOV>
Subject: QED Workshop II
To: qed@mcs.anl.gov
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.

We plan to split the Workshop into 13 one-hour pieces
dedicated to separate topics. Each part will consist
20 - 30 minutes of introductory talk and the discussion.

Several topics have been announced in the first Announcement.

As yet one introductory talk ,,The Indeterminateness",
by Randall Holmes, has been fixed. Some others talks
have been proposed  and will be presented later (we want
to clarify some points with the authors). We will have
also a lecture of John McCarthy ,,Heavy duty set theory",
and Panel Discussion.

Please feel free to propose any topic you believe is of
general interest.

-- Roman Matuszewski
