Конференция по автоматизированному вычету
Конференция по автоматизированному выводу ( 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 | Копенгаген, Дания | Андрей Воронков |
| 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 |
Ссылки
- ^ Lu, James J.; Erik Rosenthal (2004). «Логически-ориентированное рассуждение для интеллектуальных систем». В Alan B. Tucker (ред.). Computer Science Handbook (второе изд.). CRC Press. стр. 61-24.
- ^ Горе, Раджив; Александр Лейтш; Тобиас Нипков (2001). «Предисловие». Автоматизированное рассуждение — Первая международная совместная конференция, IJCAR 2001, Сиена, Италия. Springer .
- ^ "Международная конференция по автоматизированной дедукции - конференции". CADE, Inc. Получено 4 мая 2013 г.
Внешние ссылки
- Официальный сайт , CADE
- Официальный сайт , ААР
 | Эта статья по информатике — заглушка . Вы можете помочь Википедии, расширив ее. |
