Введение
Конференция по автоматизированному выводу (CADE) является ведущей академической конференцией по автоматизированному выводу и смежным областям. Первая CADE была организована в 1974 году в Национальной лаборатории Аргонн, недалеко от Чикаго. Большинство встреч CADE проводились в Европе и Соединенных Штатах. Однако конференции проводились по всему миру. С 1996 года CADE проводится ежегодно. В 2001 году CADE впервые была объединена с Международной объединенной конференцией по автоматизированному рассуждению (IJCAR). Это повторялось раз в два года, начиная с 2004 года. В 1996 году CADE Inc. была создана как некоммерческая субкорпорация Ассоциации автоматизированного рассуждения для организации конференций, которые ранее организовывались независимо.
Nr Сборник трудов Дата Год Место проведения Редактор(ы) LNAI
01 1975
02 1976
03 1977
04 1979
05 0087 1980 Les Arcs, Франция Wolfgang Bibel, Robert Kowalski
06 0138 1982 New York, США Donald W. Loveland
07 0170 14–16 мая 1984 Napa, Калифорния, США Robert Shostak
08 0230 27 июля – 1 августа 1986 Oxford, Англия Jörg H. Siekmann
09 0310 23–26 мая 1988 Argonne, Иллинойс, США E. Lusk, Ross A. Overbeek
10 0449 1990 Kaiserslautern, Германия Mark Stickel
11 0607 15–18 июня 1992 Saratoga Springs, США D. Kapur
12 0814 26 июня – 1 июля 1994 Nancy, Франция Alan Bundy
13 1104 30 июля – 3 августа 1996 New Brunswick, NJ, США Michael A. McRobbie, J. K. Slaney
14 1249 13–17 июля 1997 Townsville, North Queensland, Австралия William McCune
15 1421 5–10 июля 1998 Lindau, Германия Claude Kirchner, Hélène Kirchner
16 1632 7–10 июля 1999 Trento, Италия Harald Ganzinger
17 1831 17–20 июня 2000 Pittsburgh, PA, США David A. McAllester
18 2392 27–30 июля 2002 Copenhagen, Дания Andrei Voronkov
19 2741 28 июля – 2 августа 2003 Miami Beach, FL, США Franz Baader
20 3632 22–27 июля 2005 Tallinn, Эстония Robert Nieuwenhuis
21 4603 17–20 июля 2007 Bremen, Германия Frank Pfenning
22 5663 2–7 августа 2009 Montreal, Канада Renate A. Schmidt
23 6803 31 июля – 5 августа 2011 Wrocław, Польша Nikolaj Bjørner, Viorica Sofronie Stokkermans
24 7898 9–14 июня 2013 Lake Placid, New York, США Maria Paola Bonacina
25 9195 1–7 августа 2015 Berlin, Германия Amy Felty, Aart Middeldorp
26 10395 6–11 августа 2017 Gothenburg, Швеция Leonardo de Moura
27 10900 14–17 июля 2018 Oxford, Великобритания Didier Galmiche, Stephan Schulz, Roberto Sebastiani
28 11716 23–30 августа 2019 Natal, Бразилия Pascal Fontaine
29 12166–7 29 июня – 6 июля 2020 Paris, Франция Nicolas Peltier, Viorica Sofronie Stokkermans
30 11–16 июля 2021 Pittsburgh, США (виртуально)