CAV
@confcav.bsky.social
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
CAV 2025 goodie - traditional Croatian licitar heart. More info: www.licitar.hr/en/about-lic... #cav2025
July 21, 2025 at 8:12 AM
CAV 2025 goodie - traditional Croatian licitar heart. More info: www.licitar.hr/en/about-lic... #cav2025
Remembering Allen Emerson at the dedicated workshop
July 21, 2025 at 8:03 AM
Remembering Allen Emerson at the dedicated workshop
The CAV workshops are officially underway 🚀
July 21, 2025 at 7:15 AM
The CAV workshops are officially underway 🚀