IJCAR 2026: Call for Papers

The 13th International Joint Conference on Automated Reasoning (IJCAR) is a premier international conference that brings together the world's leading researchers in automated reasoning. It is part of the Federated Logic Conference (FLoC) 2026, which unites several major conferences in logic and computer science.

IJCAR 2026 will be held in Lisbon, Portugal, from July 26 to July 29, 2026, as part of the second week of FLoC. The conference focuses on logic and its applications in computer science, covering diverse fields such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.

Keynote Speakers

• Alessandra Russo (Imperial College London)
• Giuseppe De Diacomo (University of Oxford)
• Işıl Dilling (University of Texas at Austin)
• Leonardo de Moura (AWS and Lean FRO)

Topics of Interest

IJCAR covers all aspects of automated reasoning, including but not limited to:

• Automated theorem proving (propositional, first-order, higher-order)
• Model checking
• Satisfiability checking (SAT/SMT)
• Constraint satisfaction
• Automated deduction in various theories
• Logic programming and automated reasoning
• Knowledge representation and reasoning
• Formal verification of hardware and software
• Applications of automated reasoning in AI, mathematics, and other sciences

Submission Guidelines

Detailed submission guidelines, including paper length, formatting requirements, and the submission system, will be announced closer to the submission deadline. Authors are encouraged to check the official IJCAR 2026 website for updates.

Important Dates

• Summer School: July 13-17, 2026
• Workshops: July 18-19, 2026
• Week 1 Conferences (CP, FSCD, ICLP, KR, LICS, SAT): July 20-23, 2026
• Workshops: July 24-25, 2026
• Week 2 Conferences (CAV, CSF, IJCAR, ITP): July 26-29, 2026

Specific deadlines for IJCAR paper submissions (e.g., submission deadline, notification date, camera-ready deadline) will be published on the official conference website.