Conference on Automated Deduction

The Conference on Automated Deduction (CADE) is the premier academic conference on automated deduction and related fields.[1] 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 (IJCAR).[2] This has been repeated biannually since 2004.[3]

In 1996, CADE Inc. was formed as a non-profit sub-corporation of the Association for Automated Reasoning to organize the formerly individually organized conferences.

NrProceedingsDateYearLocationEditor(s)
LNAI
011975
021976
031977
041979
0500871980Les Arcs, FranceWolfgang Bibel, Robert Kowalski
0601381982New York, USADonald W. Loveland
070170May 14–161984Napa, California, USARobert Shostak
080230Jul 27 – Aug 11986Oxford, EnglandJörg H. Siekmann
090310May 23–261988Argonne, Illinois, USAE. Lusk, Ross A. Overbeek
1004491990Kaiserslautern, GermanyMark Stickel
110607Jun 15–181992Saratoga Springs, USAD. Kapur
120814Jun 26 – Jul 11994Nancy, FranceAlan Bundy
131104Jul 30 – Aug 31996New Brunswick, NJ, USAMichael A. McRobbie, J.K. Slaney
141249Jul 13–171997Townsville, North Queensland, AustraliaWilliam McCune
151421Jul 5–101998Lindau, GermanyClaude Kirchner, Hélène Kirchner
161632Jul 7–101999Trento, ItalyHarald Ganzinger
171831Jun 17–202000Pittsburgh, PA, USADavid A. McAllester
182392Jul 27–302002Copenhagen, DenmarkAndrei Voronkov
192741Jul 28 – Aug 22003Miami Beach, FL, USAFranz Baader
203632Jul 22–272005Tallinn, EstoniaRobert Nieuwenhuis
214603Jul 17–202007Bremen, GermanyFrank Pfenning
225663Aug 2–72009Montreal, CanadaRenate A. Schmidt
236803Jul 31 – Aug 52011Wrocław, PolandNikolaj Bjørner, Viorica Sofronie-Stokkermans
247898Jun 9–142013Lake Placid, New York, USAMaria Paola Bonacina
259195Aug 1–72015Berlin, GermanyAmy Felty, Aart Middeldorp
2610395Aug 6–112017Gothenburg, SwedenLeonardo de Moura
2710900Jul 14–172018Oxford, United KingdomDidier Galmiche, Stephan Schulz, Roberto Sebastiani
2811716Aug 23–302019Natal, BrazilPascal Fontaine
2912166–7Jun 29 – Jul 62020Paris, FranceNicolas Peltier, Viorica Sofronie-Stokkermans
30Jul 11–162021Pittsburgh, USA (virtual)

References

  1. Lu, James J.; Erik Rosenthal (2004). "Logic-Based Reasoning for Intelligent Systems". In Alan B. Tucker (ed.). Computer Science Handbook (Second ed.). CRC Press. p. 61-24.
  2. Goré, Rajeev; Alexander Leitsch; Tobias Nipkow (2001). "Foreword". Automated Reasoning - First International Joint Conference, IJCAR 2001, Siena, Italy. Springer.
  3. "The International Conference on Automated Deduction - conferences". CADE, Inc. Retrieved 4 May 2013.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.