Name: International Joint Conference on Automated Reasoning 2026
Start: 2026-07-26
End: 2026-07-29
Location: Lisbon, Portugal

About IJCAR

IJCAR 2026 is the International Joint Conference on Automated Reasoning, a top-tier (A-ranked) theory of computing conference. It takes place on 26 July 2026 in Lisbon, Portugal. Full papers were due 15 February 2026, with abstracts by 6 February 2026.

Important dates

A clear overview of what is expected, written by the people who posted it, with every detail you need to decide.

Qualifications, experience and the skills that matter most, along with anything that would make you stand out.

Practical next steps, the documents to prepare and the dates to keep in mind before you apply or get in touch.

Contact details, links to the official source and the notes our team adds after checking each listing by hand.

Before you submit

Qualifications, experience and the skills that matter most, along with anything that would make you stand out.

Practical next steps, the documents to prepare and the dates to keep in mind before you apply or get in touch.

Contact details, links to the official source and the notes our team adds after checking each listing by hand.

Everything else on this page, kept up to date and available to every member of Chakrie at no cost at all.

Members only · Free to join

Sign in to see the full conference guide

Get every deadline on one timeline, the topics in scope, a submission checklist and links to the call for papers.

Important dates
Before you submit

Continue with Google

Create free account Sign in

Free forever No credit card 30-second sign-up

IJCAR 2026: International Joint Conference on Automated Reasoning

About IJCAR

Sign in to see the full conference guide

More Theory of Computing conferences

The Conference on Automated Deduction

IEEE International Symposium on Information Theory

ACM-SIAM Symposium on Discrete Algorithms

EATCS International Colloquium on Automata, Languages, and Programming

ACM Symposium on the Theory of Computing

IEEE Symposium on Logic in Computer Science