37th International Conference on Computer Aided Verification (CAV 2025)
75 75 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.