← All venues
A

IJCAR

International Joint Conference on Automated Reasoning
Quick take: Premier venue (top ~13% tier). Excellent track record and strong international visibility.Recent acceptance rate: 43.75% (2026).
Artificial IntelligenceSoftware Engineering & PLTheory of ComputationDBLP ↗ICORE ↗
43.75%
acceptance (2026)
49
papers accepted (2026)
112
submissions (2026)
⏰

2026 Submission Deadline

AoE timezone

Deadline Passed
Paper SubmissionFeb 16, 2026, 11:59 AM2026-02-15 23:59 (AOE)
Abstract RegistrationFeb 7, 2026, 11:59 AMMandatory prior to paper submission
Conference Dates & LocationJuly 26-29, 2026Lisbon, Portugal

Acceptance-rate trend

Data: lixin4ever/Conference-Acceptance-Rate

Papers per year

Rank history (CORE → ICORE)

A* Flagship · A Premier · B Established · C Recognized

Year-by-year detail

YearSubmittedAcceptedRateTiersLocation
20261124943.75%—
20241154539.13%—
2022854148.24%—