37th International Conference on Computer Aided Verification
from July 21-25, 2025, in Zagreb, Croatia
IMPORTANT DATES
All deadlines are AoE (Anywhere on Earth)
Paper submission:
- Full papers due: January 31, 2025
- Author Response Period: March 11 - 14, 2025
- Author notification: April 2, 2025
- Main Conference: July 21-25, 2025