IJCAR

International Joint Conference on Automated Reasoning

Computing Theory DBLP ↗

CCF BCORE ATHCPL B

View latest venue: IJCAR 2026

July 26-29, 2026 · Lisbon, Portugal

Paper submission: 23:59, Feb 15, 2026 · AoE

Past venues

IJCAR 2024July 3-6, 2024Nancy, France
IJCAR 2022August 8-10, 2022Haifa, Israel