Конференция по автоматизированному вычету

Конференция по автоматизированному дедукции ( CADE ) — ведущая научная конференция по автоматизированному дедукции и смежным областям. ^[1] Первая CADE была организована в 1974 году в Аргоннской национальной лаборатории недалеко от Чикаго . Большинство встреч CADE проводились в Европе и США. Однако конференции проводились по всему миру. С 1996 года CADE проводится ежегодно. В 2001 году CADE впервые была объединена с Международной совместной конференцией по автоматизированному рассуждению (IJCAR). ^[2] Это повторяется два раза в год с 2004 года. ^[3]

В 1996 году CADE Inc. была создана как некоммерческая дочерняя корпорация Ассоциации автоматического мышления для организации ранее индивидуально организованных конференций.

Нет.	Слушания	Дата	Год	Расположение	Редактор(ы)
	ЛНАИ
01			1975
02			1976
03			1977
04			1979
05	0087		1980	Лез Арк , Франция	Вольфганг Бибель , Роберт Ковальски
06	0138		1982	Нью-Йорк, США	Дональд В. Лавленд
07	0170	14–16 мая	1984	Напа, Калифорния, США	Роберт Шостак
08	0230	27 июля – 1 августа	1986	Оксфорд, Англия	Йорг Х. Зикманн
09	0310	23–26 мая	1988	Аргонн, Иллинойс, США	Э. Ласк, Росс А. Овербек
10	0449		1990	Кайзерслаутерн, Германия	Марк Стикель
11	0607	15–18 июня	1992	Саратога-Спрингс, США	Д.Капур
12	0814	26 июня – 1 июля	1994	Нанси, Франция	Алан Банди
13	1104	Рождество 30 – 3 августа	1996	Нью-Брансуик, Нью-Джерси, США	Майкл А. МакРобби , Дж. К. Слейни
14	1249	13–17 июля	1997	Таунсвилл, Северный Квинсленд, Австралия	Уильям МакКьюн
15	1421	5–10 июля	1998	Линдау, Германия	Клод Киршнер, Элен Киршнер
16	1632	7–10 июля	1999	Тренто, Италия	Харальд Ганзингер
17	1831	17–20 июня	2000	Питтсбург, Пенсильвания, США	Дэвид А. Макаллестер
18	2392	27–30 июля	2002	Копенгаген, Дания	Andrei Voronkov
19	2741	28 июля – 2 августа	2003	Майами-Бич, Флорида, США	Франц Баадер
20	3632	22–27 июля	2005	Таллинн, Эстония	Роберт Ньювенхейс
21	4603	17–20 июля	2007	Бремен, Германия	Фрэнк Пфеннинг
22	5663	2–7 августа	2009	Монреаль, Канада	Рената А. Шмидт
23	6803	Рождество 31 – 5 августа	2011	Вроцлав, Польша	Николай Бьорнер, Виорика Софрони-Стоккерманс
24	7898	9–14 июня	2013	Лейк-Плэсид, Нью-Йорк , США	Мария Паола Боначина
25	9195	1–7 августа	2015	Берлин , Германия	Эми Фелти, Аарт Мидделдорп
26	10395	6–11 августа	2017	Гетеборг , Швеция	Леонардо де Моура
27	10900	14–17 июля	2018	Оксфорд , Великобритания	Дидье Гальмиш, Стефан Шульц, Робер Себастьян
28	11716	23–30 августа	2019	Натал , Бразилия	Паскаль Фонтен
29	12166–7	29 июня – 6 июля	2020	Париж , Франция	Николя Пельтье, Виорика Софрони-Стоккерманс
30		11–16 июля	2021	~~Питтсбург , США~~ (виртуально)

Ссылки

^ Лу, Джеймс Дж.; Эрик Розенталь (2004). «Логические рассуждения для интеллектуальных систем». У Алана Б. Такера (ред.). Справочник по информатике (второе изд.). ЦРК Пресс. п. 61-24.
^ Горе, Раджив; Александр Лейч; Тобиас Нипков (2001). «Предисловие». Автоматизированное мышление – Первая международная совместная конференция, IJCAR 2001, Сиена, Италия . Спрингер .
^ «Международная конференция по автоматизированному дедукции – конференции» . КЕЙД, ООО . Проверено 4 мая 2013 г.

Внешние ссылки

Официальный сайт , КАДЭ
Официальный сайт ААР

Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее .

Эта статья о компьютерной конференции незавершена . Вы можете помочь Википедии, расширив ее .

[1] Лу, Джеймс Дж.; Эрик Розенталь (2004). «Логические рассуждения для интеллектуальных систем». У Алана Б. Такера (ред.). Справочник по информатике (второе изд.). ЦРК Пресс. п. 61-24.

[2] Горе, Раджив; Александр Лейч; Тобиас Нипков (2001). «Предисловие». Автоматизированное мышление – Первая международная совместная конференция, IJCAR 2001, Сиена, Италия . Спрингер .

[3] «Международная конференция по автоматизированному дедукции – конференции» . КЕЙД, ООО . Проверено 4 мая 2013 г.

[1]

[2]

[3]

Базы данных авторитетного контроля
Международный	ВИАФ
Национальный	Германия Соединенные Штаты