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
- 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.
- Jump up^ Gore, Rajeev; Alexander Leitsch; Tobias Nipkow (2001). “Foreword”. Automated Reasoning – First International Joint Conference, IJCAR 2001 Siena, Italy . Springer .
- Jump up^ “The International Conference on Automated Deduction – conferences” . CADE, Inc . Retrieved 4 May 2013 .