Международная совместная конференция по автоматизированному мышлению - International Joint Conference on Automated Reasoning
 | Эта статья не цитировать любой источники. (Август 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
В Международная совместная конференция по автоматизированному мышлению (IJCAR) представляет собой серию конференций по темам автоматическое рассуждение, автоматический вычет и связанные поля. Он организуется нерегулярно, как объединение других встреч. IJCAR заменяет эти независимые конференции по мере их проведения. Конференция организована CADE Inc., и CADE всегда был одной из конференций, участвующих в IJCAR.
- Первый IJCAR был проведен в Сиена, Италия в 2001 году в результате слияния CADE, FTP, и ТАБЛИЦА.
- Второй IJCAR прошел в Пробка, Ирландия в 2004 году в результате слияния CADE, FTP, TABLEAUX, FroCoS и КАЛЬКУЛЕМ.
- Третий IJCAR проводился как независимая субконференция четвертого Федеративная логическая конференция в Сиэтл, США, и объединили CADE, FTP, TABLEAUX, FroCoS и TPHOLs.
- Четвертый IJCAR прошел в Сидней, Австралия в 2008 году и объединили CADE, FroCoS, FTP и TABLEAUX.
- Пятая IJCAR была проведена в 2010 году как независимая субконференция пятой Федеративная логическая конференция в Эдинбург, UK, и объединили CADE, FTP, TABLEAUX и FroCoS.
- Шестой IJCAR прошел в г. Манчестер, Великобритания, как часть Алан Тьюринг Год 2012, и был совмещен с Конференция по случаю столетия Алана Тьюринга. Он снова объединил CADE, FTP, TABLEAUX и FroCoS.
- Седьмой IJCAR прошел в Вена, Австрия, как часть Венское лето логики в 2014 году и объединили CADE, TABLEAUX и FroCoS.
- Восьмой IJCAR прошел в Коимбра, Португалия, в 2016 году и объединили CADE, TABLEAUX и FroCoS.
внешняя ссылка
- Домашняя страница IJCAR
- Домашняя страница IJCAR-2006
- Домашняя страница IJCAR-2008
- Домашняя страница IJCAR 2016
 | Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это. |