The International Conference on Automated Deduction

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 were mostly biennial, and annual conferences started in 1996. Since 2001 CADE has participated in the International Joint Conference on Automated Reasoning (IJCAR).

Future Conferences

• CADE-24, Lake Placid, USA, 9-14 June 2013
  • Conference or Local Arrangements Chairs: Chris Lynch, Neil Murray
• 2012: See the IJCAR web pages

The CADE/IJCAR Conference Management Notes and Schedule

Previous Conferences

• CADE-23, Wroclaw, Poland, 31 July-5 August 2011
  • Program Chairs: Viorica Sofronie-Stokkermans, Nikolaj Bjørner (Report)
  • Conference or Local Arrangements Chairs: Hans de Nivelle
  • Participants: 87 full + 13 freebies = 100 conference
  • 6 workshops and 6 tutorials, 37 participants
  • Submissions: 66 papers + 14 system descriptions = 80
    Accepted: 28 papers + 7 system descriptions = 35
  • Invited speakers: Koen Claessen, Byron Cook, Xavier Leroy, Aarne Ranta.
• 2010: See the IJCAR web pages
• CADE-22, Montreal, Canada, 2-7 August 2009 (Springer LNCS 5663)
  • Program Chairs: Renate Schmidt (Report)
  • Conference or Local Arrangements Chairs: Brigitte Pientka (Report)
  • Participants: 70 full + 41 student = 111 conference,
  • 6 workshops, 4 Tutorials, 163 participants
  • Submissions: 77 (68 paper, 9 system descriptions)
    Accepted: 32 (27 papers, 5 accepted)
  • Invited speakers: Konstantin Korovin, Martin Rinard, Mark Stickel.
• 2008: See the IJCAR web pages
• CADE-21, Bremen, Germany, 17-20 July 2007 (Springer LNCS 4603)
  • Program Chair: Frank Pfenning
  • Conference or Local Arrangements Chairs: Michael Kohlhase
  • Participants: 110
  • Submissions: 64
  • Invited speakers: Colin Stirling, Ashish Tiwari, Rustan Leino, Peter Baumgartner.
• 2006: See the IJCAR web pages
• CADE-20, Tallinn, Estonia, 22-27 July 2005 (Springer LNAI 3632)
  • Program Chair: Robert Nieuwenhuis
  • Conference or Local Arrangements Chairs: Tanel Tammett
  • Participants: 70
  • Submissions: 78
  • Invited speakers: Randal Bryant, Gilles Dowek, Frank Wolter.
• 2004: See the IJCAR web pages
• CADE-19, Miami Beach, USA, 28 July-2 August 2003 (Springer LNAI 2741)
  • Program Chair: Franz Baader
  • Conference or Local Arrangements Chairs: Geoff Sutcliffe and Jeff Pelletier
  • Submissions: 83
  • Participants: 99
  • Invited speakers: Edmund Clarke, Anthony Cohn, Helene Kirchner, Greg Nelson.
• CADE-18 (FLoC'02), Copenhagen, Denmark, 27-30 July 2002
  • Program Chair: Andrei Voronkov
  • Conference or Local Arrangements Chairs: Reiner Hänhle
  • Participants: 120
  • Invited speakers: Matthias Baaz (CADE/TABLEAUX), Ian Horrocks, Daniel Jackson, Sharad Malik (CADE/CAV).
• 2001: See the IJCAR web pages
• CADE-17, Pittsburgh, USA, 17-20 June 2000 (Springer LNAI 1831)
  • Program Chair: David McAllester
  • Conference or Local Arrangements Chairs: Frank Pfenning
  • Participants: 106
  • Invited speakers: John Harrison, Henry Kautz, Carl Seger.
• CADE-16 (FLoC'99), Trento, Italy, July 1999 (Springer LNAI 1632)
  • Program Chair: Harald Ganzinger
  • Conference or Local Arrangements Chairs: Paolo Traverso
  • Participants: 129
  • Invited speakers: Erich Graedel, Robert Nieuwenhuis, Tobias Nipkow, Zohar Manna (CADE/CAV).
• CADE-15, Lindau, Germany, 6-10 July 1998 (Springer LNAI 1421)
  • Program Chairs: Claude Kirchner, Helene Kirchner
  • Conference or Local Arrangements Chairs: Wolfgang Bibel
  • Participants: 191
  • Invited speakers: Frank Pfenning, Matt Kaufmann, Amir Pnueli.
• CADE-14, Townsville, Australia, 1997 (Springer LNAI 1249)
  • Program Chair: William McCune
  • Conference or Local Arrangements Chairs: Geoff Sutcliffe
  • Participants: 104
  • Invited speakers: Wu Wen-Tsun, Moshe Vardi.
• CADE-13 (FLoC'96) New Brunswick, USA, 1996 (Springer LNAI 1104)
  • Program Chairs: Michael McRobbie, John K. Slaney
  • Conference or Local Arrangements Chairs: Amy Felty
  • Participants: 178
  • Invited speakers: Harald Ganzinger, Robert Milner (FLoC keynote), Amir Pnueli (CADE/CAV banquet), Dana Scott, John Rushby (CADE/CAV).
• CADE-12, Nancy, France, 1994 (Springer LNAI 814)
  • Program Chair: Alan Bundy
  • Conference or Local Arrangements Chairs: Claude Kirchner
  • Participants: 228
  • Invited speakers: Robert Constable, Ursula Martin, Richard Platek, John Slaney.
• CADE-11, Saratoga Springs, USA, 1992 (Springer LNAI 607)
  • Program Chair: Deepak Kapur
  • Conference or Local Arrangements Chairs: Neil V. Murray
  • Participants: 144
  • Invited speakers: Larry Wos (keynote), Raymond Smullyan (banquet), Grigori Mints.
• CADE-10, Kaiserslautern, Germany, 1990 (Springer LNAI 449)
  • Program Chair: Mark E. Stickel
  • Conference or Local Arrangements Chairs: ?
  • Participants: ?
  • Invited speakers: Robert Boyer and J Moore (keynote), Woody Bledsoe (banquet), Wolfgang Bibel, Alan Bundy.
• CADE-9, Argonne, USA, 1988 (Springer LNCS 310)
  • Program Chairs: Rusty Lusk, Ross Overbeek
  • Conference or Local Arrangements Chairs: Rusty Lusk, Ross Overbeek
  • Participants: ?
  • Invited speakers: Stuart Miller, John Alan Robinson, Larry Wos (banquet)
• CADE-8, Oxford, United Kingdom, 1986 (Springer LNCS 230)
  • Program Chair: Joerg Siekmann
  • Conference or Local Arrangements Chairs: R. J. Cunningham
  • Participants: ?
  • Invited speakers: Peter B. Andrews, Ray Reiter, Gerard Huet, David H.D. Warren.
• CADE-7, Napa, USA, 1984 (Springer LNCS 170)
  • Program Chair: Robert Shostak
  • Conference or Local Arrangements Chairs: ?
  • Participants: ?
  • Invited speakers: none
• CADE-6, New York, USA, 1982 (Springer LNCS 138)
  • Program Chair: Donald W. Loveland
  • Conference or Local Arrangements Chairs: ?
  • Participants: ?
  • Invited speakers: John McCarthy
• CADE-5, Les Arcs, France, 1980 (Springer LNCS 87)
  • Program Chairs: Wolfgang Bibel, Robert Kowalski
  • Conference or Local Arrangements Chairs: ?
  • Participants: ?
  • Invited speakers: Doug Prawitz
• CADE-4, Austin, USA, 1979
  • Program Chair: S. Sickel
  • Local Arrangements Chairs: ?
  • Participants: ?
  • Invited speakers:
• CADE-3, Cambridge, USA, 1977
  • Program Chair: Ray Reiter
  • Local Arrangements Chairs: ?
  • Participants: ?
  • Invited speakers: ?
• CADE-2, Oberwolfach, Germany, 1976
  • Program Chairs: Woody Bledsoe, M. Richter?
  • Local Arrangements Chairs: ?
  • Participants: ?
  • Invited speakers: ?
• CADE-1, Argonne, USA 1974 (IEEE Trans. on Computers C-25(8))
  • Program Chair: Larry Henschen
  • Local Arrangements Chairs: ?
  • Participants: ?
  • Invited speakers: ?