CADE is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1974. Previous CADEs have been mostly biennial, and annual conferences are held since 1996. In 2001, CADE, TABLEAUX, and FTP merged into one conference called the International Joint Conference on Automated Reasoning (IJCAR).

The primary source of CADE-specific information is at http://www.uni-koblenz.de/~cade-18/ which is maintained separately by the CADE-18 organizers. Some of the key data are mirrored and crossreferenced here on the FLoC'02 site for your convenience. If you notice any discrepancies, please notify one of the webmasters.

CADE is sponsored by .

• CADE-18 Call for Papers
• CADE-affiliated workshops and tutorials
• CADE accepted papers
• CADE program
• Participant list for CADE
• CADE-18 ATP System Competition

Invited speakers

• Matthias Baaz, Vienna U of Techn., Austria
  joint with TABLEAUX: Proof analysis by resolution
• Sharad Malik, Princeton U, USA
  joint with CAV: The quest for efficient Boolean satisfiability solvers
• Ian Horrocks, U Manchester, UK
  Reasoning with expressive description logics: Theory and practice
• Daniel Jackson, Massachusetts Inst. of Techn., USA
  Simple logic, complex systems

Program Committee

• chair: Andrei Voronkov <voronkov@cs.man.ac.uk>
  Department of Computer Science
  University of Manchester
  Oxford Road
  Manchester M13 9PL, ENGLAND UK
• Jürgen Avenhaus, U Kaiserslautern, Germany
• Franz Baader, Dresden U of Techn., Germany
• Leo Bachmair, State U of New York-Stony Brook, USA
• David Basin, U Freiburg, Germany
• Peter Baumgartner, U Koblenz-Landau, Germany
• Christoph Benzmüller, Saarland U, Germany
• Maria Paola Bonacina, U Iowa, USA
• Alan Bundy, U Edinburgh, UK
• Li Dafa, Tsinghua U, China
• Anatoli Degtyarev, U Liverpool, UK
• Gilles Dowek, INRIA Rocquencourt, France
• Maarten de Rijke, U Amsterdam, The Netherlands
• Harald Ganzinger, MPI Saarbrücken, Germany
• Xiao-Shan Gao, Inst. of Systems Science, China
• Fausto Giunchiglia, U Trento, Italy
• Jean Goubault-Larrecq, ENS Cachan, France
• Reiner Hähnle, Chalmers U of Techn., Sweden
• John Harrison, Intel, USA
• Ryuzo Hasegawa, Kyushu U, Japan
• Thomas A. Henzinger, U California-Berkeley, USA
• Steffen Hölldobler, Dresden U of Techn., Germany
• Andrew Ireland, Heriot-Watt U, UK
• Mateja Jamnik, U Cambridge, UK
• Deepak Kapur, U New Mexico, USA
• Claude Kirchner, LORIA Nancy, France
• Christoph Kreitz, Cornell U, USA
• Kim Guldstrand Larsen, Aalborg U, Denmark
• Alexander Leitsch, Vienna U of Techn., Austria
• Maurizio Lenzerini, U Rome I (La Sapienza), Italy
• Alexander V. Lyaletski, Kiev National U, Ukraine
• Christopher Lynch, Clarkson U, USA
• Zohar Manna, Stanford U, USA
• Ursula Martin, U St Andrews, UK
• Fabio Massacci, U Trento, Italy
• William McCune, Argonne National Laboratory, USA
• Tom Melham, U Glasgow, UK
• Dale Miller, Penn State U, USA
• Ralf Möller, U Hamburg, Germany
• Paliath Narendran, State U of New York-Albany, USA
• Ilkka Niemelä, Helsinki U of Techn., Finland
• Robert Nieuwenhuis, Techn. U of Catalonia, Spain
• Tobias Nipkow, Techn. U of Munich, Germany
• Andreas Nonnengart, DFKI Saarbrücken, Germany
• Leszek Pacholski, U Wroclaw, Poland
• Lawrence C. Paulson, U Cambridge, UK
• Frank Pfenning, Carnegie Mellon U, USA
• David Plaisted, U North Carolina-Chapel Hill, USA
• David Pym, Queen Mary, U London, UK
• Manfred Schmidt-Schauß, Frankfurt U, Germany
• Peter H. Schmitt, Karlsruhe U, Germany
• Carsten Schürmann, Yale U, USA
• Natarajan Shankar, SRI International, USA
• John Slaney, Australian National U
• Wayne Snyder, Boston U, USA
• Geoff Sutcliffe, U Miami, USA
• Moshe Y. Vardi, Rice U, USA
• Toby Walsh, U College Cork, Ireland
• Igor Walukiewicz, LaBRI Bordeaux, France
• Christoph Weidenbach, Opel AG, Germany
• Volker Weispfenning, U Passau, Germany

Conference Chair

Reiner Hähnle <reiner@cs.chalmers.se>
Chalmers University of Technology
Department of Computing Science
412 96 Gothenburg, SWEDEN

Workshop and Tutorials Chair

Mateja Jamnik <Mateja.Jamnik@cl.cam.ac.uk>
Computer Laboratory
University of Cambridge
William Gates Building
J.J. Thomson Avenue
Cambridge, CB3 0FD, England, UK

Publicity Chair

Peter Baumgartner <peter@uni-koblenz.de>
Institut für Informatik
Universität Koblenz-landau
Rheinau 1
D-56075 Koblenz, GERMANY