Conference on Automated Deduction

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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.

Nr Proceedings Date Year Location Editor(s)
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 Robert Shostak
08 0230 Jul 27 – Aug 1 1986 Oxford, England Jörg H. Siekmann
09 0310 May 23–26 1988 Argonne, Illinois, USA E. Lusk, Ross A. Overbeek
10 0449 1990 Kaiserslautern, Germany Mark Stickel
11 0607 Jun 15–18 1992 Saratoga Springs, USA D. Kapur
12 0814 Jun 26 – Jul 1 1994 Nancy, France Alan Bundy
13 1104 Jul 30 – Aug 3 1996 New Brunswick, NJ, USA Michael A. McRobbie, J.K. Slaney
14 1249 Jul 13–17 1997 Townsville, North Queensland, Australia William McCune
15 1421 Jul 5–10 1998 Lindau, Germany Claude Kirchner, Hélène Kirchner
16 1632 Jul 7–10 1999 Trento, Italy Harald Ganzinger
17 1831 Jun 17–20 2000 Pittsburgh, PA, USA David A. McAllester
18 2392 Jul 27–30 2002 Copenhagen, Denmark Andrei Voronkov
19 2741 Jul 28 – Aug 2 2003 Miami Beach, FL, USA Franz Baader
20 3632 Jul 22–27 2005 Tallinn, Estonia Robert Nieuwenhuis
21 4603 Jul 17–20 2007 Bremen, Germany Frank Pfenning
22 5663 Aug 2–7 2009 Montreal, Canada Renate A. Schmidt
23 6803 Jul 31 – Aug 5 2011 Wrocław, Poland Nikolaj Bjørner, Viorica Sofronie-Stokkermans
24 7898 Jun 9–14 2013 Lake Placid, New York, USA Maria Paola Bonacina
25 9195 Aug 1–7 2015 Berlin, Germany Amy Felty, Aart Middeldorp
26 10395 Aug 6–11 2017 Gothenburg, Sweden Leonardo de Moura
27 10900 Jul 14–17 2018 Oxford, United Kingdom Didier Galmiche, Stephan Schulz, Roberto Sebastiani
28 11716 Aug 23–30 2019 Natal, Brazil Pascal Fontaine
29 12166–7 Jun 29 – Jul 6 2020 Paris, France Nicolas Peltier, Viorica Sofronie-Stokkermans
30 Jul 11–16 2021 Pittsburgh, USA (virtual)

External links[edit]

References[edit]

  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. CS1 maint: discouraged parameter (link)