WikiDer > Международная совместная конференция по автоматизированному мышлению - Википедия
International Joint Conference on Automated Reasoning - Wikipedia
 | Эта статья не цитировать любой источники. (Август 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
 | Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это. |