| Program Chair | |||
|---|---|---|---|
| William McCune | Argonne National Laboratory, USA | ||
| Program Committee | |||
| Leo Bachmair | SUNY at Stonybrook, USA | David McAllester | AT&T, USA |
| Hubert Comon | Laboratoire de Recherche en Informatique, France | William McCune | Argonne National Laboratory, USA |
| William Farmer | MITRE Corporation, USA | Larry Paulson | University of Cambridge, England |
| Masayuki Fujita | Mitsubishi Research Institute, Japan | Frank Pfenning | Carnegie Mellon University, USA |
| Harald Ganzinger | Max-Planck Institut, Germany | Michael Rusinowitch | LORIA, France |
| Fausto Giunchiglia | IRST & Università di Trento, Italy | Johann Schumann | Technical University Munich, Germany |
| John Harrison | Åbo Akademi University, Finland | Natarajan Shankar | SRI International, USA |
| Ryuzo Hasegawa | Kyushu University, Japan | John Slaney | Autralian National University, Australia |
| Steffen Hölldobler | Technical University Dresden, Germany | Mark Stickel | SRI International, USA |
| Jieh Hsiang | National Taiwan University, Taiwan | Geoff Sutcliffe | James Cook University, Australia |
| Deepak Kapur | SUNY at Albany, USA | Tanel Tammet | Chalmers University, Sweden |
| Claude Kirchner | INRIA Lorraine & CRIN, France | Andrei Voronkov | Uppsala University, Sweden |
| Christoph Kreitz | Cornell University, USA | Lincoln Wallen | Oxford University, England |
| Alexander Leitsch | Technical University Vienna, Austria | Christoph Walther | Technical University Darmstadt, Germany |
| Reinhold Letz | Technical University Munich, Germany | Dongming Wang | CNRS, France |
| Ewing Lusk | Argonne National Laboratory, USA | Hantao Zhang | University of Iowa, USA |
| Ursula Martin | University of St Andrews, Scotland | ||