View source for International Joint Conference on Automated Reasoning

{{short description |Conferences series on automated reasoning, automated deduction, and related fields}}
{{Use British English |date=February 2024}}
{{Use dmy dates |date=February 2024}}
{{More citations needed |date=February 2024}}
The '''International Joint Conference on Automated Reasoning''' ('''IJCAR''') is a series of conferences on the topics of [[automated reasoning]], [[automated deduction]], and related fields. It is organized semi-regularly  as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place. The conference is organized by the organizers of the [[Conference on Automated Deduction]] (CADE), and CADE has always been one of the conferences partaking in IJCAR.

* The first IJCAR was held in [[Siena]], Italy on 18–22 June 2001,<ref name="ijcar01" />{{rp|5}} as a merger of CADE, [[International Workshop on First-Order Theorem Proving|FTP]], and [[TABLEAUX]], and which included the ''IJCAR ATP System Competition'' (CASC-JC) on 21 June 2001.<ref name="susu01" />
* The second IJCAR was held in [[Cork (city)|Cork]], Ireland in 2004 as a merger of CADE, FTP, TABLEAUX, [[FroCoS]] and [[CALCULEMUS]].
* The third IJCAR was held as an independent subconference  of the fourth Federated Logic Conference in [[Seattle]], United States, and merged CADE, FTP, TABLEAUX, FroCoS and [[TPHOLs]].
* The fourth IJCAR was held in [[Sydney]], Australia in 2008, and merged CADE, FroCoS, FTP and TABLEAUX.
* The fifth IJCAR was held in 2010 as an independent subconference  of the fifth Federated Logic Conference in [[Edinburgh]], UK, and merged CADE, FTP, TABLEAUX, and FroCoS.
* The sixth IJCAR was held in [[Manchester]], UK, as part of the ''Alan Turing Year 2012'', and was collocated with the [[Alan Turing Centenary Conference]]. It again merged  CADE, FTP, TABLEAUX, and FroCoS.
* The seventh IJCAR was held in [[Vienna]], Austria, as part of the [[Vienna Summer of Logic]] in 2014, and merged CADE, TABLEAUX, and FroCoS.
* The eighth IJCAR was held in [[Coimbra]], Portugal,  in 2016, and merged CADE, TABLEAUX, and FroCoS.

== References ==
{{reflist |refs=
<ref name="ijcar01">{{cite conference |title=Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR), Siena, Italy, 2001 |date=18–22 June 2001 |editor1-last=Goré |editor1-first=Rajeev |editor2-last=Leitsch |editor2-first=Alexander |editor3-last=Nipkow |editor3-first=Tobias |editor3-link=Tobias Nipkow |url=https://archive.org/details/springer_10.1007-3-540-45744-5 |publisher=[[Springer Science+Business Media|Springer]] |location=Berlin |chapter=Foreword |isbn=978-3-540-45744-2 |doi=10.1007/3-540-45744-5 |lccn=2001041144 |ol=OL9869085M |oclc=505189233 }}</ref>

<ref name="susu01">{{cite conference |title=The IJCAR ATP System Competition |last1=Sutcliffe |first1=G. |author1-link=Geoff Sutcliffe |last2=Suttner |first2=C. B. |last3=Pelletier |first3=F. J. |conference= |pages=1–14 |year=2001 |publisher=Kluwer Academic Publishers |url=https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=08746fa164417a6a24cffae0b4e4a84b11c02062 |access-date=2023-02-10 }}</ref>
}}

==External links==
* [http://www.ijcar.org/ IJCAR Home Page]
* [http://ijcar06.uni-koblenz.de/ IJCAR-2006 Home Page] {{Webarchive|url=https://web.archive.org/web/20060209211017/http://ijcar06.uni-koblenz.de/ |date=9 February 2006 }}
* [http://www.ijcar.org/2008/ IJCAR-2008 Home Page] {{Webarchive|url=https://web.archive.org/web/20071014054423/http://ijcar.org/2008/ |date=14 October 2007 }}
* [http://www.uc.pt/en/congressos/ijcar2016 IJCAR 2016 Home Page]

[[Category:Theoretical computer science conferences]]
[[Category:Logic conferences]]


{{comp-sci-stub}}