Conference

IJCAR

’26

International Joint Conference on Automated Reasoning

Lisbon, PortugalJuly 26 – 29, 2026

Theorem Proving
Logic

Dates & Deadlines

AbstractFeb 6passed
PaperFeb 15passed
RebuttalApr 3passed
NotificationApr 14passed
Camera-readyMay 23passed

Part of

FLoCFederated Logic ConferenceJul 17 – 29, 2026

Co-located with

Last updated May 17, 2026