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
The list of accepted papers for CAV 2025 is now out! conferences.i-cav.org/2025/accepted/ Register for #cav25 now at: conferences.i-cav.org/2025/registr...
Accepted Papers | CAV 2025
#### Research Papers * Verifying Tree-Manipulating Programs via CHCs Marco Faella (University of Naples Federico II); Gennaro Parlato (University of Molise) * Automatic Verification of Floating-Point ...
conferences.i-cav.org
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
📣 The First Workshop on Verification of Quantum Computing (VQC 2025) #CAV2025! 🧠 Bridging formal methods & quantum computing 📅 Call for Presentations now open! 🔗 verifiedqc.github.io/2025/cfp/
Call for Presentations | VQC 2025
The First Workshop on Verification of Quantum Computing (VQC 2025) aims to bring together researchers from formal methods and quantum information to address the unique challenges of verifying quantum ...
verifiedqc.github.io
🏅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
📢 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...
🚨 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
CAV'25 Artifact Evaluation Committee - Nomination Form
forms.gle
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!
CAV 2025
37th International Conference on Computer Aided Verification
conferences.i-cav.org