QED Workshop II

Roman Matuszewski (ROMAT%PLEARN.BITNET@ANLVM.CTD.ANL.GOV)
Sat, 15 Apr 95 15:41:28 CET

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)