IJCAR 2026
International Joint Conference on Automated Reasoning
ICORE A
CCF B
Theory
Paper deadline countdown
-
Key details
Paper deadline
2025-02-15 23:59:59 (AoE)
Abstract deadline
2026-02-06 23:59:59 (AoE)
Conference dates
July 26-29, 2026
Location
Lisbon, Portugal
Website
https://www.floc26.org/ijcar
About IJCAR 2026
IJCAR 2026 (International Joint Conference on Automated Reasoning) is a leading conference focused on theoretical computer science, algorithms, and computational complexity. It is ranked as an A-ranked venue in the ICORE 2026 rankings, representing a highly respected publication outlet. This edition takes place in Lisbon, Portugal (July 26-29, 2026). Researchers can track the IJCAR 2026 deadline with live countdowns, export to Google Calendar, and manage their submission workflow using PaperPilot.