International Joint Conference on Automated Reasoning

IJCAR 2024 will be organized at the Inria Nancy research center and LORIA in Nancy, France, from July 1 to July 6, 2024.

Important Dates

  • Abstract submission: January 29, 2024
  • Paper submission: February 5, 2024
  • Notification: March 28, 2024
  • Camera-ready version: April 28, 2024
  • Co-located events: July 1-2, 2024
  • Conference, including CASC: July 3-6, 2024

Call for Papers

IJCAR is the premier international joint conference on all aspects of automated reasoning. IJCAR 2024 will be hosted by the Inria Nancy Research Center and LORIA in Nancy, France, from July 1-6, 2024. IJCAR 2024 is the merger conference of leading events in automated reasoning: CADE – Conference on Automated Deduction FroCoS – Symposium on Frontiers of Combining Systems TABLEAUX – Conference on Analytic Tableaux and Related Methods Topics IJCAR 2024 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications. [Read More]

Call for co-located events

The International Joint Conference on Automated Reasoning (IJCAR) is the premier conference on all aspects of automated reasoning. IJCAR 2024 will be hosted by the Inria Nancy Research Center and LORIA in Nancy, France, from July 1-6, 2024. IJCAR 2024 is soliciting proposals for co-located events such as workshops, tutorials and competitions. These events will take place before the IJCAR conference on Monday and Tuesday, July 1-2, 2024. Researchers are invited to submit proposals on any topic related to automated reasoning, from theoretical foundations to tools and applications. [Read More]