International Joint Conference on Automated Reasoning

Last updated December 11, 2025

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,^[1]^: 5 as a merger of CADE, FTP, and TABLEAUX, and which included the IJCAR ATP System Competition (CASC-JC) on 21 June 2001.^[2]
The second IJCAR was held in 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

↑ Goré, Rajeev; Leitsch, Alexander; Nipkow, Tobias, eds. (18–22 June 2001). "Foreword". Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR), Siena, Italy, 2001. Berlin: Springer. doi:10.1007/3-540-45744-5. ISBN 978-3-540-45744-2. LCCN 2001041144. OCLC 505189233. OL 9869085M.
↑ Sutcliffe, G.; Suttner, C. B.; Pelletier, F. J. (2001). The IJCAR ATP System Competition. Kluwer Academic Publishers. pp. 1–14. Retrieved 10 February 2023.

External links

IJCAR Home Page
IJCAR-2006 Home Page Archived 9 February 2006 at the Wayback Machine
IJCAR-2008 Home Page Archived 14 October 2007 at the Wayback Machine
IJCAR 2016 Home Page

This computer science article is a stub. You can help Wikipedia by expanding it.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[ijcar01-1] Goré, Rajeev; Leitsch, Alexander; Nipkow, Tobias, eds. (18–22 June 2001). "Foreword". Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR), Siena, Italy, 2001. Berlin: Springer. doi:10.1007/3-540-45744-5. ISBN 978-3-540-45744-2. LCCN 2001041144. OCLC 505189233. OL 9869085M.

[susu01-2] Sutcliffe, G.; Suttner, C. B.; Pelletier, F. J. (2001). The IJCAR ATP System Competition. Kluwer Academic Publishers. pp. 1–14. Retrieved 10 February 2023.

[1]

[2]