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)