iiinova — where your digital self keeps evolving

CAV @confcav.bsky.social · 21/07/2025

CAV 2025 goodie - traditional Croatian licitar heart. More info: www.licitar.hr/en/about-lic... #cav2025

040

CAV @confcav.bsky.social · 21/07/2025

Remembering Allen Emerson at the dedicated workshop

030

CAV @confcav.bsky.social · 21/07/2025

The CAV workshops are officially underway 🚀

070

Reposted by CAV

Niklas Metzger @niklasmetzger.bsky.social · 12/05/2025

The HYPER 2025 workshop will be co-located with @confcav.bsky.social in Zagreb, Croatia, on July 21, with an incredible invited speaker line-up: @thenzinger.bsky.social, Clara Schneidewind, @emanueledosualdo.com, and Yu Wang! Submit your abstract by May 30 at hyperworkshop25.cispa.io! #cav25

073

CAV @confcav.bsky.social · 27/02/2025

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

084

CAV @confcav.bsky.social · 14/01/2025

📢 VerifyThis 2025 - Call for Problems Submit your interesting academic or industry verification problems to the 2025 edition of the VerifyThis competition (co-located with ETAPS’25) by Feb. 7, 2025! For more information about the competition & submission process: www.pm.inf.ethz.ch/research/ver...

052

CAV @confcav.bsky.social · 09/01/2025

🚨 The CAV 2025 Artifact Evaluation Committee is seeking nominations! Submit your (self) nomination using this form: 👉 forms.gle/PCAShznCZL9T... 📅 Deadline: January 16th, 2025 37th International Conference on Computer Aided Verification: 🌐 conferences.i-cav.org/2025/ #CAV2025 #ArtifactEvaluation

forms.gle

CAV'25 Artifact Evaluation Committee - Nomination Form

064

CAV @confcav.bsky.social · 02/01/2025

CAV 2025 call for papers is out! The submission deadline is January 31, 2025. For more details, see: conferences.i-cav.org/2025/ Looking forward to your submissions!

conferences.i-cav.org

CAV 2025

37th International Conference on Computer Aided Verification

062