overbeek Ross Overbeek Mike.Gordon@cl.cam.ac.uk Mike Gordon lusk Rusty Lusk rackow Gene Rackow good@CLI.COM Donald I. Good moore@CLI.COM J Strother Moore albin@CLI.COM Ken Albin kaufmann@CLI.COM Matt Kaufmann klinger@CS.UCLA.EDU Allen Klinger sf@CSLI.Stanford.EDU Sol Feferman cal@aero.org Christopher Landauer dam@ai.mit.edu David McAllester Stickel@ai.sri.com Mark Stickel waldinge@ai.sri.com Richard Waldinger gustav@arp.anu.edu.au Zdzislaw Meglicki Michael.A.McRobbie@arp.anu.edu.au Michael A. McRobbie kjg@austin.ibm.com ttw@beta.lanl.gov Tony Warnock mthayer@bix.com Michael Thayer etxhsan@brazil.ericsson.se Herbert Sander rwsh@cam.sri.com Roger Hale chin@cat.syr.edu Shiu-Kai Chin beeson@cats.UCSC.EDU Michael Beeson zhang@cerc.wvu.edu Xiao-Dong (Nick) Zhang yodaiken@chelm.cs.umass.edu victor yodaiken tfm@cl.cam.ac.uk Tom Melham John.Harrison@cl.cam.ac.uk John Harrison Larry.Paulson@cl.cam.ac.uk Lawrence C Paulson Paul.Curzon@cl.cam.ac.uk Paul Curzon Richard.Boulton@cl.cam.ac.uk Richard Boulton boyer@cli.com Robert Boyer brianm@computer-science.manchester.ac.uk petera@computer-science.manchester.ac.uk Peter Aczel hayes@concert.net Brian Hayes eder@cosy.sbg.ac.at kapur@cs.albany.edu Deepak Kapur dran@cs.albany.edu Paliath Narendran mcn@cs.anu.edu.au Malcolm Newey rcs@cs.arizona.edu Richard Schroeppel gordon@cs.chalmers.se Andrew Gordon bengt@cs.chalmers.se caldwell@cs.cornell.edu Jim Caldwell mannion@cs.cornell.edu Conal Mannion sfa@cs.cornell.edu Stuart Allen jackson@cs.cornell.edu Paul Jackson rodmoten@cs.cornell.edu Roderick Moten ola@cs.duke.edu Owen L. Astrachan sjohnson@cs.indiana.edu Steve Johnson rpg@cs.man.ac.uk musser@cs.rpi.edu David Musser shapiraa@cs.rpi.edu Andrew Shapira uribe@cs.stanford.edu Tomas Esteban Uribe plummer@cs.swarthmore.edu David Barker-Plummer chou@cs.ucla.edu Ching-Tsun Chou plaisted@cs.unc.edu David Plaisted chu@cs.unc.edu Heng Chu bledsoe@cs.utexas.edu Woody Bledsoe leitsch@csdec1.tuwien.ac.at Alexander Leitsch zach@csdec1.tuwien.ac.at Richard Zach lincoln@csl.sri.com Pat Lincoln dts@dcs.ed.ac.uk Don Sannella mxh@dcs.ed.ac.uk Martin Hofmann rap@dcs.ed.ac.uk Randy Pollack kgg@dcs.ed.ac.uk Kees Goossens siekmann@dfki.uni-sb.de Joerg H. Siekmann treinen@dfki.uni-sb.de Ralf Treinen bundy@ed.ac.uk mel@ee.cornell.edu Miriam Leeser markaa@ee.cornell.edu Mark Aagaard ysr@eta.ece.ucsb.edu Y S Ramakrishna exunikh@exu.ericsson.se Nikhil Tikekar dahn@hubinf.informatik.hu-berlin.de Dahn gehne@hubinf.informatik.hu-berlin.de Gehne FB Logik Oyvind.Fredriksen@ii.uib.no Oyvind Fredriksen hajime@iias.flab.fujitsu.co.jp liaucj@iis.sinica.edu.tw Churn-Jung Liau walther@inferenzsysteme.informatik.th-darmstadt.de Christoph Walther pyschobbens@info.fundp.ac.be ttgrq@info.win.tue.nl Andreas Gammel Tobias.Nipkow@informatik.tu-muenchen.de Tobias Nipkow slind@informatik.tu-muenchen.de Konrad Slind avenhaus@informatik.uni-kl.de denzinge@informatik.uni-kl.de Joerg Denzinger qed@informatik.uni-ulm.de des@inmos.co.uk David Shepherd Chet.Murthy@inria.fr Chet Murthy Gerard.Huet@inria.fr Gerard Huet steffen@intellektik.informatik.th-darmstadt.de Steffen Hoelldobler bibel@intellektik.informatik.th-darmstadt.de Wolfgang Bibel pschmitt@ira.uka.de reiner@ira.uka.de hagiya@is.s.u-tokyo.ac.jp HAGIYA Masami wachter@itd.nrl.navy.mil Ralph Wachter burghard@karlsruhe.gmd.de shankar@krypton.csl.sri.com Natarajan Shankar guttman@linus.mitre.org Josh Guttman jt@linus.mitre.org Javier Thayer atp@logic.tuwien.ac.at Claude.Kirchner@loria.fr Claude Kirchner Jacques_Zahnd@lslqm.epfl.ch Jacques Zahnd kubo@math.harvard.edu Tal Kubo mumford@math.harvard.edu David Mumford schwicht@math01.mathematik.uni-muenchen.de Helmut Schwichtenberg mccune@mcs.anl.gov Bill McCune stevens@mcs.anl.gov wos@mcs.anl.gov Larry Wos peters@mozart.uark.edu James Peters dragan@mpi-sb.mpg.de Dragan Cvetkovic ohlbach@mpi-sb.mpg.de Hans Juergen Ohlbach hg@mpi-sb.mpg.de Harald Ganzinger val@netcom.com Dewey Val Schorre kabdali@nsf.gov S. Kamal Abdali sgerhart@nsf.gov Susan L. Gerhart theorem-provers@ora.on.ca windley@panther.cs.uidaho.edu Phil Windley T.Forster@pmms.cam.ac.uk Thomas Forster Andrew.Stevens@prg.ox.ac.uk Andrew Stevens howe@research.att.com talesra@ricks.enet.dec.com Hemendra Talesra sap@ruc.dk Stig Andur Pedersen clt@sail.Stanford.EDU Carolyn Talcott ashted@saturn.wwc.edu Ted Ashton jalonso@sevaxu.cica.es Jose A. Alonso Jimenez mukai@sfc.keio.ac.jp Kuniaki Mukai Gilles.Kahn@sophia.inria.fr Gilles Kahn benjamin@src.bae.co.uk Michael Benjamin yuanyu@src.dec.com Yuan Yu marcelk@stack.urc.tue.nl toshok@stjoe.cs.uidaho.edu Chris Toshok aa@taurus.bitnet fa@tfl.dk Flemming Andersen robinson@top.cis.syr.edu Prof. J. Alan Robinson sbuss@ucsd.edu Samuel Buss weston@ucssun1.sdsu.edu Weston T michael@uk.ac.mmu.com.sun fkh@ukc.ac.uk Keith Hanna Simon.Read@umist.ac.uk Simon Read will@upper.ist.co.uk Will Harwood R.B.Jones@win0109.wins.icl.co.uk Roger Jones eppstein@wormwood.ICS.UCI.EDU David Eppstein mantha@wrc.xerox.com jhm@dcs.ed.ac.uk James McKinna jaeger@iam.unibe.ch Gerhard Jaeger marzetta@iam.unibe.ch Markus Marzetta Joakim.von-Wright@cl.cam.ac.uk Joakim von Wright kahle@iam.unibe.ch Reinhard Kahle chen@cs.cornell.edu Wilfred Chen heuerd@iam.unibe.ch Alain Heuerding qed@logic.tuwien.ac.at cwitty@ai.mit.edu Carl Witty farmer@mitre.org rlg@ai.mit.edu Bob Givan jimseven@cs.umd.edu zl@dcs.ed.ac.uk Zhaohui Luo smith@kestrel.edu Doug Smith 0005507197@mcimail.com Lee Leitner jwo@ee.cornell.edu John O'Leary Christine.Paulin@lip.ens-lyon.fr Christine Paulin arrabal@sevaxu.cica.es Juan J. Arrabal ccmj@dcs.ed.ac.uk Claire Jones rww@ibuki.com Richard Weyhrauch coquand@cs.chalmers.se Thierry Coquand tato@cs.chalmers.se Alvaro Tasistro felty@research.att.com Amy Felty debruijn@win.tue.nl N.G. de Bruijn ekja03@castle.ed.ac.uk D MacKenzie gustun@cs.chalmers.se jalonso@sevaxu.cica.es Jose A. Alonso mac@math.tulane.edu Matthew A. Cosgrove dwa@momth1.maths.monash.edu.au D. W. Albrecht Sara.Kalvala@cl.cam.ac.uk Sara Kalvala