CAV 20250
International Conference on Computer-Aided Verification 
Acc. Rate: 25.9%(79/305 25') · 21.8%(69/317 24')
DATES
July 23-25, 2025
VENUE
Zagreb, Croatia
NOTE: Initial cutoff unresolved: CFP January 31 AoE; HotCRP February 6 13:00 UTC.
NEXT DEADLINE INTBD
IMPORTANT DEADLINES
Dates to be announced