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

• IJCAR 2010, Edinburgh, United Kingdom, July 2010 (within FLoC 2010)
  • Program Chairs: Jürgen Giesl, Reiner Hähnle
  • Conference or Local Arrangements Chair: Alan Bundy (in the context of the FLoC organization)

The CADE/IJCAR Conference Management Notes and Schedule

Previous Conferences

• CADE-22, Montreal, Canada, 2-7 August 2009 (Springer LNCS 5663)
  • Program Chairs: Renate Schmidt (Report)
  • Conference or Local Arrangements Chair: Brigitte Pientka (Report)
  • Participants: 115 conference, 215 workshop-day registrations
  • Submissions: 77 (68 paper, 9 system descriptions)
    Accepted: 32 (27 papers, 5 accepted)
  • 6 Workshops, 4 Tutorials
  • Invited speakers: Konstantin Korovin, Martin Rinard, Mark Stickel.
• IJCAR 2008, Sydney, Australia, 10-15 August 2008 (Springer LNCS 5195)
  • Program Chairs: Alessandro Armando, Peter Baumgartner and Gilles Dowek
  • Conference or Local Arrangements Chair: Peter Baumgartner
  • Participants: 105 (plus 11 workshop/tutorial registrations only)
  • Submissions: 98
  • Submissions: 81 papers + 17 system descriptions = 98
    Accepted: 26 papers + 13 system descriptions = 39
  • 4 Workshops, 4 Tutorials
  • Invited speakers: Hubert Comon-Lundh, Nachum Dershowitz, Aarti Gupta, Carsten Lutz.
• CADE-21, Bremen, Germany, 17-20 July 2007 (Springer LNCS 4603)
  • Program Chair: Frank Pfenning
  • Conference or Local Arrangements Chair: Michael Kohlhase
  • Participants: 110
  • Submissions: 64
  • Invited speakers: Colin Stirling, Ashish Tiwari, Rustan Leino, Peter Baumgartner.
• IJCAR-2006, Seattle, USA, 16-20 August 2006 (Springer LNCS 4130)
  • Program Chair: Ulrich Furbach and Natarajan Shankar
  • Conference or Local Arrangements Chair: John Harrison
  • Participants: 164
  • Submissions: 133
  • Submissions: 133 papers + 18 system descriptions = 180
    Accepted: 41 papers + 8 system descriptions = 49
  • 12 workshops and tutorials
  • Invited speakers: Bruno Buchberger, Adnan Darwich, Dale Miller, David Dill (CAV/IJCAR/ICLP).
• CADE-20, Tallinn, Estonia, 22-27 July 2005 (Springer LNAI 3632)
  • Program Chair: Robert Nieuwenhuis
  • Conference or Local Arrangements Chair: Tanel Tammett
  • Participants: 70
  • Submissions: 78
  • Invited speakers: Randal Bryant, Gilles Dowek, Frank Wolter.
• IJCAR-2004, Cork, Ireland, 4-8 July 2004 (Springer LNAI 3097)
  • Program Chairs: David Basin and Michael Rusinowitch
  • Conference or Local Arrangements Chair: Toby Walsh
  • Participants: 240 (172 IJCAR + rest satellite events)
  • Submissions: 74 papers + 12 system descriptions = 86
    Accepted: 26 papers + 6 system descriptions = 32
  • 9 workshops, 5 tutorials
  • Invited speakers: Georg Gottlob, Jose Meseguer, Wolfgang Weispfenning.
• CADE-19, Miami Beach, USA, 28 July-2 August 2003 (Springer LNAI 2741)
  • Program Chair: Franz Baader
  • Conference or Local Arrangements Chair: 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 Chair: Reiner Hänhle
  • Participants: 120
  • Invited speakers: Matthias Baaz (CADE/TABLEAUX), Ian Horrocks, Daniel Jackson, Sharad Malik (CADE/CAV).
• IJCAR-2001, Siena, Italy, 18-23 June 2001 (Springer LNAI 2083)
  • Program Chairs: Rajeev Gore, Alexander Leitsch, Tobias Nipkow
  • Conference or Local Arrangements Chair: Fabio Massacci
  • Participants: 250 (160 IJCAR + rest satellite events)
  • Submissions: 88 papers + 24 system descriptions = 112
    Accepted: 37 papers + 19 system descriptions = 56
  • 10 workshops, 4 tutorials
  • Invited speakers: Neil Jones, Larry Paulson, Helmut Schwichtenberg, Andrei Voronkov, Doron Zeilberger.
• CADE-17, Pittsburgh, USA, 17-20 June 2000 (Springer LNAI 1831)
  • Program Chair: David McAllester
  • Conference or Local Arrangements Chair: 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 Chair: 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 Chair: 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 Chair: 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 Chair: 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 Chair: 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 Chair: Neil V. Murray
  • Participants: ?
  • 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 Chair: ?
  • 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 Chair: 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 Chair: 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 Chair: ?
  • Participants: ?
  • Invited speakers: none
• CADE-6, New York, USA, 1982 (Springer LNCS 138)
  • Program Chair: Donald W. Loveland
  • Conference or Local Arrangements Chair: ?
  • Participants: ?
  • Invited speakers: John McCarthy
• CADE-5, Les Arcs, France, 1980 (Springer LNCS 87)
  • Program Chairs: Wolfgang Bibel, Robert Kowalski
  • Conference or Local Arrangements Chair: ?
  • Participants: ?
  • Invited speakers: Doug Prawitz
• CADE-4, Austin, USA, 1979
  • Program Chair: S. Sickel
  • Local Arrangements Chair: ?
  • Participants: ?
  • Invited speakers:
• CADE-3, Cambridge, USA, 1977
  • Program Chair: Ray Reiter
  • Local Arrangements Chair: ?
  • Participants: ?
  • Invited speakers: ?
• CADE-2, Oberwolfach, Germany, 1976
  • Program Chairs: Woody Bledsoe, M. Richter?
  • Local Arrangements Chair: ?
  • Participants: ?
  • Invited speakers: ?
• CADE-1, Argonne, USA 1974 (IEEE Trans. on Computers C-25(8))
  • Program Chair: Larry Henschen
  • Local Arrangements Chair: ?
  • Participants: ?
  • Invited speakers: ?

Invited Speakers by Other IJCAR Constituents

• TABLEAUX:
  • 1998: G. de Bruijn, Alan Bundy, Edmund Clarke
  • 1999: Randy Bryant, David S. Warren
  • 2000: Franz Baader, Melvin Fitting, Alasdair Urquhart
  • 2001 -> IJCAR
  • 2002: Matthias Baaz, Dale Miller and Elaine Pimentel
  • 2003: Vito Michele Abrusci, Thierry Coquand, Claude Kirchner, Douglas J. Howe
  • 2005: Ian Horrocks, Diego Calvanese, Hans Jürgen Ohlbach, Erik Rosenthal
  • 2006 -> IJCAR
  • 2007: Piero Bonatti, John-Jules Meyer, Cesare Tinelli

• FTP
  • 2007: Bernd Fischer, Martin Giese

• FROCOS
  • 2000: Alexander Bockmayr, Nachum Dershowitz, Gilles Dowek, Klaus Schulz, Tomas Uribe, Richard Zippel
  • 2002: Alessandro Cimatti, Deepak Kapur, Tom Melham, Greg Nelson
  • 2004 -> IJCAR
  • 2005: Luca de Alfaro, Silvio Ghilardi, Fausto Giunchiglia, Eric Monfroy
  • 2006 -> IJCAR
  • 2007: Viorica Sofronie

• TPHOLS:
  • 1999: Thomas Kropf, Arjeh Cohen, Dominique Bolignano
  • 2000: Bob Colwell, Larry Wos, Robin Milner
  • 2001: Bart Jacobs, Steven D. Johnson, Natarajan Shankar
  • 2002: Ricky Butler, Gerard Huet
  • 2003: Jean-Raymond Abrial, Dominique Cansell, Dale Miller
  • 2004: Ken McMillan, Thomas Hales, Al Davis
  • 2005: Wolfgang Paul, Andrew Pitts
  • 2006 -> IJCAR