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

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