rakamaric.bsky.social
@rakamaric.bsky.social
230 followers 52 following 1 posts
Posts Media Videos Starter Packs
Reposted
confcav.bsky.social
CAV @confcav.bsky.social · Feb 27
🏅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 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...
conferences.i-cav.org
4 8
rakamaric.bsky.social
rakamaric.bsky.social @rakamaric.bsky.social · Nov 27
CAV (International Conference on Computer Aided Verification) is now also on Bluesky!
Please follow @confcav.bsky.social and help us spread the word.
7 16
Reposted
alex-lex.bsky.social
Alexander Lex @alex-lex.bsky.social · Nov 10
Bobcat mum and cubs spotted on a run in Salt Lake City!
Three bobcats looking at the camera.
1 4 26