| Entrant
| System
| Email
| Phone
| FAX
|
| Mohammed Almulla
| HERBY, PHERBY
| almulla@sun470.sci.kuniv.edu.kw
| +965 4811188 x5303
| +965 4817201
|
| Hans de Nivelle
| Bliksem
| nivelle@cwi.nl
| +31 20 5924113
| +31 20 5924199
|
| Joachim Draeger
| AI-SETHEO
| draeger@informatik.tu-muenchen.de
| +49 89 28927918
| -
|
| Tim Geisler
| Satchmo
| Tim.Geisler@informatik.uni-muenchen.de
| +49 89 21782234
| +49 89 21782211
|
| Kal Hodgson
| SCOTT
| kahlil@arp.anu.edu.au
| +61 2 62798621
| +61 2 62798651
|
| Thomas Hillenbrand
| Waldmeister
| hillen@informatik.uni-kl.de
| +49 631 72243
| -
|
| Dafa Li
| ANDP
| lidafa@tsinghua.edu.cn
| +86 10 62787559
| -
|
| William McCune
| Otter, MACE
| mccune@mcs.anl.gov
| +1 630 2523065
| +1 630 2525986
|
| Monty Newborn
| TGTP, Octopus
| newborn@cs.mcgill.ca
| +1 514 3987079
| +1 514 3983883
|
| Stephan Schulz
| DISCOUNT/TSM, E
| schulz@informatik.tu-muenchen.de
| +49 89 28927914
| +49 89 28927902
|
| Tanel Tammet
| Gandalf
| tammet@cs.chalmers.se
| +46 31 7721053
| +46 31 165655
|
| Andrei Voronkov
| Vampire
| voronkov@csd.uu.se
| +46 18 4711055
| -
|
| Christoph Weidenbach
| SPASS
| weidenb@mpi-sb.mpg.de
| +49 681 9325221
| +49 681 9325299
|
| Andreas Wolf
| p-SETHEO
| wolfa@informatik.tu-muenchen.de
| +49 89 28927924
| +49 89 28927902
|