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.

• Event website