CAV 2025
International Conference on Computer-Aided Verification
ICORE A*
CCF A
Theory
Paper deadline countdown
-
Key details
Paper deadline
2025-01-31 23:59:59 (AoE)
Conference dates
July 21-25, 2025
Location
Zagreb, Croatia
About CAV 2025
CAV 2025 (International Conference on Computer-Aided Verification) is a leading conference focused on theoretical computer science, algorithms, and computational complexity. It is ranked as one of the top-tier (A*) venues in its field according to the ICORE 2026 rankings, representing the most prestigious publication outlet. This edition takes place in Zagreb, Croatia (July 21-25, 2025). Researchers can track the CAV 2025 deadline with live countdowns, export to Google Calendar, and manage their submission workflow using PaperPilot.