Международная объединенная конференция по автоматизированному Рассуждению ( IJCAR ) представляет собой серию конференций по темам автоматизированных рассуждений , автоматизированной дедукции и смежных областям. Он организуется нерегулярно, как объединение других встреч. IJCAR заменяет те независимые конференции по мере их проведения. Конференция организована CADE Inc. , и CADE всегда была одной из конференций, участвующих в IJCAR.
- Первый IJCAR был проведен в Сиене , Италия, в 2001 году в результате слияния CADE, FTP и TABLEAUX .
- Второй IJCAR был проведен в Корке , Ирландия, в 2004 году в результате слияния CADE, FTP, TABLEAUX, FroCoS и CALCULEMUS .
- Третья IJCAR была проведена как независимая субконференция четвертой конференции Federated Logic Conference в Сиэтле , США, и объединила CADE, FTP, TABLEAUX, FroCoS и TPHOL .
- Четвертый IJCAR был проведен в Сиднее , Австралия, в 2008 году и объединил CADE, FroCoS, FTP и TABLEAUX.
- Пятая IJCAR была проведена в 2010 году как независимая субконференция пятой конференции Federated Logic Conference в Эдинбурге , Великобритания, и объединила 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