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.
Woody Bledsoe Award
Accommodation
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.
SAT/SMT/AR summer school
The 2024 edition of the SAT/SMT/AR summer school will be held in Nancy during the week preceding IJCAR 2024.
Invited speakers
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
The list of events that will be co-located with IJCAR 2024 is available here.