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 5toJune 24.
Registration, accommodation, and travel/visa information for IJCAR 2024 can be found on the web site.
Scientific Program
- Presentation of 3 invited talks
- Presentation of 39 regular research papers
- Presentation of 6 short papers
- Presentation of the Herbrand Award to Armin Biere
- Co-located events: 10 workshops, 2 competitions.
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
Registration
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.
Accommodation
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.
Contact
For all enquiries about IJCAR 2024 email: ijcar2024@inria.fr