Conference on Automated Deduction

From Wikipedia, the free encyclopedia
Jump to: navigation, 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 USA. 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 previously 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 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 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

External links[edit]

References[edit]

  1. ^ Lu, James J.; Erik Rosenthal (2004). "Logic-Based Reasoning for Intelligent Systems". In Alan B. Tucker. Computer Science Handbook (Second Edition 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.