| Entrant | System | Phone | FAX | |
|---|---|---|---|---|
| Peter Baumgartner | PROTEIN | peter@informatik.uni-koblenz.de | +49 261 9119426 | +49 261 9119119 |
| Arnim Buch Thomas Hillenbrand | Waldmeister | buch@informatik.uni-kl.de hillen@informatik.uni-kl.de | - | - |
| Joe Horton | Allpaths | jdh@unb.ca | +1 506 4534566 | +1 506 4533566 |
| Ortrun Ibens | SETHEO P-SETHEO | ibens@informatik.tu-muenchen.de | +49 89 28927923 | +49 89 28927902 |
| Koji Iwanuma | I-THOP | iwanuma@esi.yamanashi.ac.jp | +81 552 208480 | +81 552 208480 |
| William McCune | MACE-1.2 Otter-3.0.5 | mccune@mcs.anl.gov | +1 630 2523065 | +1 630 2525986 |
| Monty Newborn | TGTP OCTOPUS | newborn@cs.mcgill.ca | +1 514 3987079 | +1 514 3983883 |
| Robert Nieuwenhuis | Fiesta | roberto@lsi.upc.es | +34 3 4017330 | +34 3 4017014 |
| M. Paramasivam | RRTP | parama@cs.unc.edu | +1 919 9621795 | +1 919 9621799 |
| Jeff Pelletier | THINKER | jeffp@cs.ualberta.ca | +1 403 4925471 | +1 403 4921071 |
| John Pollock | OSCAR | pollock@arizona.edu | +1 520 6213120 | |
| Stephan Schulz | DISCOUNT-TSM | schulz@informatik.tu-muenchen.de | +49 89 521096 | +49 89 526502 |
| John Slaney | SCOTT | John.Slaney@anu.edu.au | +61 6 2798607 | +61 6 2798645 |
| Tanel Tammet | Gandalf | tammet@cs.chalmers.se | +46 31 7721053 | - |
| Christoph Weidenbach | SPASS 1.0 | weidenb@mpi-sb.mpg.de | +49 681 9325221 | +49 681 9325299 |