This event has concluded, but exciting conferences are happening worldwide — explore upcoming events in your field and stay ahead with the latest insights and networking opportunities. Subscribe to our newsletter.
37th International Conference on Computer Aided Verification (CAV 2025)
406 406 people viewed this event.
The 37th International Conference on Computer Aided Verification (CAV 2025) will be held in Zagreb, Croatia.
The event invites contributions from all research domains related to the following areas: Verification, Model-Checking, Formal Methods, Software Engineering.
Please be reminded that the deadline for submitting your contribution is Jan 31, 2025.