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.
NrProceedingsDateYearLocationEditor
LNAI
011975
021976
031977
041979
0500871980Les Arcs, FranceWolfgang Bibel, Robert Kowalski
0601381982New York, USADonald W. Loveland
070170May 14–16,1984Napa, California, USAR. E. Shostak
080230July 27 - August 1,1986Oxford, EnglandJörg H. Siekmann
090310May 23–26,1988Argonne, Illinois, USAE. Lusk and Ross A. Overbeek
1004491990Kaiserslautern, GermanyMark Stickel
110607June 15-181992Saratoga Springs, USAD. Kapur
120814June 26 - July 1,1994Nancy, FranceAlan Bundy
131104July 30 - August 3,1996New Brunswick, NJ, USAMichael A. McRobbie and J.K. Slaney
141249July 13–17,1997Townsville, North Queensland, AustraliaWilliam McCune
151421July 5–10,1998Lindau, GermanyClaude Kirchner and Hélène Kirchner
161632July 7–101999Trento, ItalyHarald Ganzinger
171831June 17–20,2000Pittsburgh, PA, USADavid A. McAllester
182392July 27–302002Copenhagen, DenmarkAndrei Voronkov
192741July 28 -August 2,2003Miami Beach, FL, USAFranz Baader
203632July 22–27,2005Tallinn, EstoniaRobert Nieuwenhuis
214603July 17–20,2007Bremen, GermanyFrank Pfenning
225663August 2–7,2009Montreal, CanadaRenate A. Schmidt
236803July 31-August 5,2011Wrocław, PolandNikolaj Bjørner and Viorica Sofronie-Stokkermans
247898June 9–142013Lake Placid, New York, USAMaria Paola Bonacina
259195August 1–72015Berlin, GermanyAmy Felty and Aart Middeldorp
2610395August 6–112017Gothenburg, SwedenLeonardo de Moura