Call for Participation

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. For details, see here.

IJCAR 2024 deadlines (all deadlines are firm, CET):

  • early registration: until June 4.
  • late registration: from June 5 to June 24.

Registration, accommodation, and travel/visa information for IJCAR 2024 can be found on the web site.

Scientific Program

Invited Speakers

  • Jeremy Avigad, Carnegie Mellon University, USA
  • Laura Kovacs, TU Wien, Austria
  • Geoff Sutcliffe, University of Miami, USA

Please see here for details.

Co-located Events

There will be ten workshops and two system competitions associated with IJCAR 2024. Please see here for details.

Social Events

  • Welcome reception on July 2
  • Conference banquet on July 4


For online registration to IJCAR 2024, please follow this link.

The deadline for early registration is June 4. Late rates apply for those who register between June 5 and June 24. Registration will be closed after June 24.


Blocks of rooms have been booked at several hotels in the city centre. Please note that the rooms are only blocked until May 31, after which date the availability or prices of rooms may change. For details, see here.


For all enquiries about IJCAR 2024 email: