Conference on Automated Deduction
The Conference on Automated Deduction is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in Europe and the United States. However, conferences have been held all over the world. Since 1996, CADE has been held yearly. In 2001, CADE was, for the first time, merged into the International Joint Conference on Automated Reasoning. This has been repeated biannually since 2004.
In 1996, CADE Inc. was formed as a non-profit sub-corporation of the Association for Automated Reasoning to organize the previously individually organized conferences.
| Nr | Proceedings | Date | Year | Location | Editor |
| LNAI | |||||
| 01 | 1975 | ||||
| 02 | 1976 | ||||
| 03 | 1977 | ||||
| 04 | 1979 | ||||
| 05 | 0087 | 1980 | Les Arcs, France | Wolfgang Bibel, Robert Kowalski | |
| 06 | 0138 | 1982 | New York, USA | Donald W. Loveland | |
| 07 | 0170 | May 14–16, | 1984 | Napa, California, USA | R. E. Shostak |
| 08 | 0230 | July 27 - August 1, | 1986 | Oxford, England | Jörg H. Siekmann |
| 09 | 0310 | May 23–26, | 1988 | Argonne, Illinois, USA | E. Lusk and Ross A. Overbeek |
| 10 | 0449 | 1990 | Kaiserslautern, Germany | Mark Stickel | |
| 11 | 0607 | June 15-18 | 1992 | Saratoga Springs, USA | D. Kapur |
| 12 | 0814 | June 26 - July 1, | 1994 | Nancy, France | Alan Bundy |
| 13 | 1104 | July 30 - August 3, | 1996 | New Brunswick, NJ, USA | Michael A. McRobbie and J.K. Slaney |
| 14 | 1249 | July 13–17, | 1997 | Townsville, North Queensland, Australia | William McCune |
| 15 | 1421 | July 5–10, | 1998 | Lindau, Germany | Claude Kirchner and Hélène Kirchner |
| 16 | 1632 | July 7–10 | 1999 | Trento, Italy | Harald Ganzinger |
| 17 | 1831 | June 17–20, | 2000 | Pittsburgh, PA, USA | David A. McAllester |
| 18 | 2392 | July 27–30 | 2002 | Copenhagen, Denmark | Andrei Voronkov |
| 19 | 2741 | July 28 -August 2, | 2003 | Miami Beach, FL, USA | Franz Baader |
| 20 | 3632 | July 22–27, | 2005 | Tallinn, Estonia | Robert Nieuwenhuis |
| 21 | 4603 | July 17–20, | 2007 | Bremen, Germany | Frank Pfenning |
| 22 | 5663 | August 2–7, | 2009 | Montreal, Canada | Renate A. Schmidt |
| 23 | 6803 | July 31-August 5, | 2011 | Wrocław, Poland | Nikolaj Bjørner and Viorica Sofronie-Stokkermans |
| 24 | 7898 | June 9–14 | 2013 | Lake Placid, New York, USA | Maria Paola Bonacina |
| 25 | 9195 | August 1–7 | 2015 | Berlin, Germany | Amy Felty and Aart Middeldorp |
| 26 | 10395 | August 6–11 | 2017 | Gothenburg, Sweden | Leonardo de Moura |