IJCAR 2026

The International Joint Conference on Automated Reasoning (IJCAR) is the premier international venue on all aspects of automated reasoning. It is held biannually as a merger 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 Topics

IJCAR 2026 will be held in Lisbon, Portugal, as part of the Federate Logic Conference FLoC from July 26 to July 29.

IJCAR 2026 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications. Original research papers and descriptions/evaluations of working automated deduction systems or proof assistant systems are solicited.

Program Chairs:

Armin Biere, University of Freiburg
Carsten Lutz, Universität Leipzig
Sara Negri, Università degli Studi di Genova

Important dates:

Abstract submission: February 6, 2026
Paper submission: February 13, 2026 February 15, 2026
Rebuttal: March 30-31, 2026
Notification: April 14, 2026
Camera-ready: June 15, 2026
Conference: July 26-29, 2026

Invited speakers: