| Entrant | System | Phone | FAX | |
|---|---|---|---|---|
| Peter Baumgartner | FDP 0.9 | peter@uni-koblenz.de | +49 261 2872777 | +49 261 2872731 |
| Hans de Nivelle | Bliksem 1.10 | nivelle@mpi-sb.mpg.de | +49 681 9325223 | +49 681 9325299 |
| Thomas Hillenbrand | Waldmeister 799 | hillen@informatik.uni-kl.de | +49 631 2052156 | |
| Kahlil Hodgson | SCOTT IV | kahlil@arp.anu.edu.au | +61 2 62798630 | +61 2 62798651 |
| Reinhold Letz | E-SETHEO(-FLOTTER) 99csp | letz@in.tum.de | +49 89 28927920 | +49 89 28927902 |
| William McCune | Otter-MACE 3.0.5 | mccune@mcs.anl.gov | +1 630 2523065 | +1 630 2525986 |
| Robert Nieuwenhuis | Fiesta 2 HORN-Fiesta 1 | roberto@lsi.upc.es | +34 93 4017330 | +34 93 4017014 |
| Dominique Pastre | MUSCADET 2.1 | pastre@math-info.univ-paris5.fr | +33 1 44553562 | +33 1 44553535 |
| Alexandre Riazanov | Vampire 0.0 | riazanoa@cs.man.ac.uk | +44 161 2756132 | +44 161 2756236 |
| Stephan Schulz | E 0.5 | schulz@informatik.tu-muenchen.de | +49 89 28927914 | +49 89 28927902 |
| Geoff Sutcliffe | SSCPA 1999.6 | geoff@cs.jcu.edu.au | +61 7 47815085 | +61 7 47814029 |
| Tanel Tammet | Gandalf c-2.0 | tammet@cs.chalmers.se | +372 5524876 | +372 6203451 |
| Hantao Zhang | HOTTER 0.0 | hzhang@cs.uiowa.edu | +1 630 7786093 | |
| Christoph Weidenbach | SPASS 1.0.0TPTP | weidenb@mpi-sb.mpg.de | +49 631 9325221 | +49 631 9325299 |