37th International Conference on Computer Aided Verification
from July 21-25, 2025, at Westin Hotel Conference Center in Zagreb, Croatia
IMPORTANT DATES
All deadlines are AoE (Anywhere on Earth)
CONFERENCE
- Workshops: July 21-22, 2025
- Main conference: July 23-25, 2025
PAPER SUBMISSIONS
- Full papers due: January 31, 2025
- Author Response Period: March 11 - 14, 2025
- Author notification: April 2, 2025
WORKSHOP PROPOSAL SUBMISSIONS
- Proposals are due by email to the Workshop chair: December 1, 2024
- Organizers will be notified about the participation: December 18, 2024
- See workshops page for details