Конференция по автоматическому вычету - Conference on Automated Deduction

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

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

№ Труды Дата Год Место расположения Редактор (ы)
LNAI
01 1975 г.
02 1976 г.
03 1977 г.
04 1979 г.
05 0087 1980 г. Лез-Арк , Франция Вольфганг Бибель , Роберт Ковальски
06 0138 1982 г. Нью-Йорк, США Дональд В. Лавленд
07 0170 14–16 мая 1984 Напа, Калифорния, США Роберт Шостак
08 02:30 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 г. Копенгаген, Дания Андрей Воронков
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 г. Питтсбург , США (виртуальный)

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

Рекомендации


Значок заглушки

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

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