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...

🏅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/

CAV (International Conference on Computer Aided Verification) is now also on Bluesky!
Please follow @confcav.bsky.social and help us spread the word.

Three bobcats looking at the camera.

Bobcat mum and cubs spotted on a run in Salt Lake City!