CADE-20
20th International Conference
on Automated Deduction
Tallinn, Estonia
22 July - 27 July, 2005
the medieval atmosphere

program committee

Program Chair: Robert Nieuwenhuis (UPC Barcelona).
  • Franz Baader (TU Dresden)
  • Peter Baumgartner (MPI)
  • Amy Felty (Ottawa)
  • Ian Horrocks (Manchester)
  • Deepak Kapur (U New Mexico)
  • Chris Lynch (Clarkson U)
  • Fabio Massacci (U Trento)
  • Ilkka Niemela (TU Helsinki)
  • Robert Nieuwenhuis (UPC Barcelona)
  • Dale Miller (INRIA/Ecole Polytechnique)
  • Tobias Nipkow (TU Munich)
  • Frank Pfenning (CMU)
  • Andreas Podelski (MPI)
  • Manfred Schmidt-Schauss (Frankfurt U)
  • Peter Schmitt (U Karlsruhe)
  • Stephan Schulz (U Verona/TU Munich)
  • Carsten Schürmann (Yale U)
  • Aaron Stump (Washington U)
  • Geoff Sutcliffe (U of Miami)
  • Tanel Tammet (TU Tallinn)
  • Cesare Tinelli (U Iowa)
  • Ashish Tiwari (SRI)
  • Moshe Vardi (Rice U)
  • Miroslav Velev (Reservoir Labs, U.S.A.)
  • Andrei Voronkov (Manchester)
  • Toby Walsh (CCC Cork/U New South Wales)
See also organizers.