Conference on Automated Deduction

Last updated

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
0500871980 Les Arcs, France Wolfgang Bibel, Robert Kowalski
0601381982New York, USA Donald W. Loveland
070170May 14–161984Napa, California, USA Robert Shostak
080230Jul 27 – Aug 11986Oxford, EnglandJörg H. Siekmann
090310May 23–261988Argonne, Illinois, USAE. Lusk, Ross A. Overbeek
1004491990 Kaiserslautern, Germany Mark Stickel
110607Jun 15–181992Saratoga Springs, USAD. Kapur
120814Jun 26 – Jul 11994 Nancy, France Alan Bundy
131104Jul 30 – Aug 31996New Brunswick, NJ, USA Michael A. McRobbie, J.K. Slaney
141249Jul 13–171997 Townsville, North Queensland, Australia William McCune
151421Jul 5–101998 Lindau, GermanyClaude Kirchner, Hélène Kirchner
161632Jul 7–101999 Trento, Italy Harald Ganzinger
171831Jun 17–202000Pittsburgh, PA, USA David A. McAllester
182392Jul 27–302002 Copenhagen, Denmark Andrei Voronkov
192741Jul 28 – Aug 22003Miami Beach, FL, USA Franz Baader
203632Jul 22–272005 Tallinn, EstoniaRobert Nieuwenhuis
214603Jul 17–202007 Bremen, Germany Frank Pfenning
225663Aug 2–72009Montreal, CanadaRenate A. Schmidt
236803Jul 31 – Aug 52011 Wrocław, Poland Nikolaj Bjørner, Viorica Sofronie-Stokkermans
247898Jun 9–142013 Lake Placid, New York, USAMaria Paola Bonacina
259195Aug 1–72015 Berlin, Germany Amy Felty, Aart Middeldorp
2610395Aug 6–112017 Gothenburg, SwedenLeonardo de Moura
2711716Aug 23–302019 Natal, BrazilPascal Fontaine
2812699Jul 12–152021 Pittsburgh, USA (virtual)André Platzer, Geoff Sutcliffe
2914132Jul 1–42023Rome, ItalyBrigitte Pientka, Cesare Tinelli
30Jul 28 – Aug 22025 Stuttgart, Germany

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 page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.