IJCAR 20260
International Joint Conference on Automated Reasoning 
Acc. Rate: 43.8%(49/112 26') · 39.1%(45/115 24')
DATES
July 26-29, 2026
VENUE
Lisbon, Portugal
NEXT DEADLINE INPassed
IMPORTANT DEADLINES
Abstract Submission Deadline
Paper Submission Deadline
