International Joint Conference on Automated Reasoning

IJCAR 2024 will be organized in Nancy, France by the Inria research center at University of Lorraine as an in-person conference. It will take place at IDMC from July 1 to July 6, 2024.

Important Dates

  • Abstract submission: January 29, 2024
  • Paper submission: February 5, 2024 (AoE)
  • Rebuttal: March 10-12, 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

The CADE ATP System Competition CASC and the Termination Competition will take place during IJCAR. This year we are planning a special session to celebrate 30 years of CASC.

The 2024 edition of the SAT/SMT/AR summer school will take place in Nancy during the week preceding IJCAR 2024.

Call for Participation

 Posted on April 16, 2024  |  IJCAR 2024

IJCAR is the premier international joint conference on all aspects of automated reasoning. IJCAR 2024 will be organized in Nancy, France by the Inria research center at University of Lorraine as an in-person conference. It will take place at IDMC from July 1 to July 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 The 2024 edition of the SAT/SMT/AR summer school will take place in Nancy during the week preceding IJCAR 2024. [Read More]

Woody Bledsoe Award

 Posted on March 28, 2024  |  IJCAR 2024

The Woody Bledsoe Award honors the memory of Woody Bledsoe, for his contributions to mathematics, artificial intelligence, and automated theorem proving, and for his dedication to students. The award is intended to enable selected students to attend the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), by covering part of their expenses. Applications are sollicited for the Woody Bledsoe Award 2024. Preference will be given to students who play an active role in the conference (including satellite workshops and competitions) and the SAT/SMT/AR Summer School, and who do not have alternative funding. [Read More]

Accommodation

 Posted on February 21, 2024  |  IJCAR 2024

A number of hotel rooms have been pre-reserved for IJCAR 2024 participants, in several hotels located in the city center, close to the conference venue. These rooms can be booked here. Please note that the rooms are only blocked until May 31, after which date the availability or prices of rooms may change.

Invited speakers

 Posted on January 12, 2024  |  IJCAR 2024

We are delighted to announce that the following speakers have accepted to give invited presentations at IJCAR 2024.

Jeremy Avigad, Carnegie Mellon University, USA

Laura Kovacs, TU Wien, Austria

Geoff Sutcliffe, University of Miami, USA

More details are available here.

Co-located events

 Posted on December 15, 2023  |  IJCAR 2024

The list of events that will be co-located with IJCAR 2024 is available here.

Call for Papers

 Posted on October 9, 2023  |  IJCAR 2024

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

 Posted on July 12, 2023  |  IJCAR 2024

The deadline for proposing co-located events has expired. 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. [Read More]