The recipients of the Woody Bledsoe Award for IJCAR 2024 are the following:

• Daneshvar Amrollahi, Stanford University, U.S.A.
• Sólrún Halla Einarsdóttir, Chalmers University of Technology, Sweden
• Krisztina Fruzsa, TU Wien, Austria
• Márton Hajdu, TU Wien, Austria
• Max Heisinger, Johannes Kepler University Linz, Austria
• Simone Heisinger, Johannes Kepler University Linz, Austria
• Petra Hozzová, TU Wien, Austria
• Hannes Ihalainen, University of Helsinki, Finland
• Nils Lommen, RWTH Aachen, Germany
• Andy Oertel, Lund University, Sweden
• Jonas Schöpf, University of Innsbruck, Austria

Every conference registration includes a ticket for the banquet, which will take place in the Opera on Stanislas square, on Thursday, July 4, at 19:30. The banquet tickets will be available at the welcome desk on July 4, from 10:00 to 14:00. We invite you to retrieve your ticket, as well as a ticket for any accompanying person that you paid for when registering, during the morning coffee break or during the lunch break. [Read More]

The IJCAR 2024 proceedings are published as two volumes of Lecture Notes in Computer Science and are available online in open access format: volume 14739, volume 14740.

Due to the risk of rain, the IJCAR 2024 welcome reception will take place in Pub Mac Carthy. The entire basement has been reserved for IJCAR participants. The pub is a 10-minute walk away from the conference site.

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]

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]

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.

The 2024 edition of the SAT/SMT/AR summer school will be held in Nancy during the week preceding 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.

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