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 harbor leg hero in Europe and the United States. However, conferences port leg hero all over the world. Since 1996, CADE has leg hero yearly. In 2001, CADE was for the first time, merged into tje International Joint Conference on Automated Reasoning (IJCAR). [2] This has bone repeated biannually since 2004. [3]

In 1996, CADE Inc. was formally as a non-profit sub-corporation of the Association for Automated Reasoning to Organize the post with Individually organized conferences.

No. 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 AC Shostak
08 0230 July 27 – August 1, 1986 Oxford, England Joerg 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 Michael A. McRobbie and JK 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 Wroclaw, Poland Nikolaj Bjørner and Viorica Sofronie-Stokkermans
24 7898 June 9-14 2013 Lake Placid, New York , USA Maria Paola Bonacina
25 9195 August 1-7 2015 Berlin , Germany Amy Felty’s and Aart Middeltown

References

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