Reposted by @rakamaric.bsky.social
🏅Call for Nominations for CAV Award 2025 🏅
The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification.
*Deadline for submitting nominations: March 4, 2025*
For more details, visit conferences.i-cav.org/2025/award/
conferences.i-cav.org
CAV Award | CAV 2025
The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. #### NOMINATION Anyone can submit a nomination. The Award Committee can...
