Return-Path: 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; Sat, 15 Apr 1995 14:55:01 +0100 Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10) id IAA09393 for qed-out; Sat, 15 Apr 1995 08:42:45 -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 IAA09388 for ; Sat, 15 Apr 1995 08:42:40 -0500 Message-Id: <199504151342.IAA09388@antares.mcs.anl.gov> Received: from ANLVM by ANLVM.CTD.ANL.GOV (IBM VM SMTP R1.2.2ANL-MX) with BSMTP id 5043; Sat, 15 Apr 95 08:42:32 CDT Received: from PLEARN.EDU.PL by ANLVM (Mailer R2.07B) with BSMTP id 3749; Sat, 15 Apr 95 08:42:32 CDT Received: from PLEARN.BITNET (NJE origin ROMAT@PLEARN) by PLEARN.EDU.PL (LMail V1.2a/1.8a) with BSMTP id 7804; Sat, 15 Apr 1995 15:42:06 +0200 Date: Sat, 15 Apr 95 15:41:28 CET From: Roman Matuszewski Subject: QED Workshop II To: qed@mcs.anl.gov Sender: owner-qed@mcs.anl.gov Precedence: bulk I want to inform QED community what is going on with QED Workshop II, this July. Below the list of attendants. Roman Matuszewski QED Workshop II, Warsaw, July 20 - 22, 1995 Australia Rajeev Gore (rpg@cisr.anu.edu.au) Canada Bill Pase (bill@ora.on.ca) Piotr Rudnicki (piotr@cs.ualberta.ca) Estonia Rein Prank (prank@cs.ut.ee) Germany Bernd Ingo Dahn (dahn@mathematik.hu-berlin.de) Manfred Kerber (kerber@cs.uni-sb.de) Martin Strecker (strecker@informatik.uni-ulm.de) Poland Roman Matuszewski (romat@plearn.edu.pl) Andrzej Trybulec (trybulec@cksr.ac.bialystok.pl) UK John Harrison (John.Harrison@cl.cam.ac.uk) US Robert Boyer (boyer@cli.com) John McCarthy (jmc@sail.stanford.edu) William McCune (mccune@mcs.anl.gov) Randall Holmes (holmes@math.idbsu.edu) IMPS (guttman@mitre.org) (still I dont know who will come) Paul Jackson (jackson@cs.cornell.edu) Deepak Kapur (kapur@cs.albany.edu) Daniel Leivant (leivant@cs.indiana.edu) Peter White (P23879@gegpo11.geg.mot.com)