CAV 2025 Call for Papers
Official deadlines & important dates
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
Frequently asked questions
When was the CAV 2025 paper submission deadline?
The CAV 2025 paper submission deadline was 2025-01-31 23:59:59 (AoE). Historical record; deadline has passed.
Where was CAV 2025 held?
CAV 2025 was held in Zagreb, Croatia on July 21-25, 2025.
What are the CAV 2025 important dates?
CAV 2025 key dates: paper submission deadline was 2025-01-31 23:59:59 (AoE); conference dates July 21-25, 2025.
Where can I find the official CAV 2025 call for papers?
The official CAV 2025 call for papers is at https://conferences.i-cav.org/2025/. This page mirrors the deadline data and adds a live countdown and .ics calendar export.