CAV 2025


37th International Conference on Computer Aided Verification

CAV from July 21-25, 2025 in Zagreb, Croatia

IMPORTANT INFORMATION

  • Registration is available here
  • Please note the conference and workshops are at different venues, details are here
  • The registration system automatically generates a visa support letter (if selected)
  • Workshops registration includes complimentary lunch
  • All deadlines are AoE (Anywhere on Earth)

CONFERENCE

  • Early registration deadline: June 22, 2025
  • Workshops: July 21-22, 2025
  • Main conference: July 23-25, 2025

PAPER SUBMISSIONS

  • Full papers due: January 31, 2025 *Firm*
  • Author response period: March 11 - 14, 2025
  • Author notification: April 2, 2025
  • Camera-ready deadline: May 23, 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