🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Congratulations to Prof. Guy Katz from the School of Engineering and Computer Science for winning the prestigious CAV award. This award recognizes his innovative research in neural network verification. Prof. Katz and his colleagues were honored for their influential article

We are soliciting nominations for the CAV 2025 Program Committee! Submit via this (self-)nomination form: forms.gle/dLkdh5QvF5yhqR…. Nominations are open until September 20, 2024. #cav25 #pcnomination

The deadline for participating in the CAV 2025 Program Committee is this weekend! Submit your nomination here: docs.google.com/forms/d/e/1FAI…

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! #cav25

The #cav25 call for workshops is out: conferences.i-cav.org/2025/cfw/ If you are interested in organizing a workshop at #cav25, submit your proposal by Dec 1!

Last chance to submit a workshop proposal for CAV 2025! Proposals are due by December 1st via email to the workshop chair. See all details here: conferences.i-cav.org/2025/cfw/

CAV Artifact Evaluation Committee is seeking nominations! Submit via this (self) nomination form by January 16th forms.gle/PCAShznCZL9TrZ…

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: pm.inf.ethz.ch/research/verif…

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

6th International Verification of Neural Networks Competition (VNN-COMP'25) w/ 8th International Symposium on AI Verification (SAIV'25) @ 37th International Conference on Computer Aided Verification (CAV'25), consider participating! Details: sites.google.com/view/vnn2025 CAV

📣 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/ #QuantumComputing #FormalMethods #Verification #VQC2025

We welcome students to submit travel scholarship applications to the Verification Mentoring Workshop at CAV 2025! Apply here by the end of April: docs.google.com/forms/d/e/1FAI… For more details, visit the workshop website: conferences.i-cav.org/2025/mentoring/

The registration for CAV 2025 is now open! You can go ahead and register here: conferences.i-cav.org/2025/registrat…. Looking forward to seeing you all in July!

Join us at VQC 2025, the first Workshop on Verification of Quantum Computing, co-located with CAV 2025 in Zagreb, Croatia on July 21! 📅Abstract submissions due May 15, 2025 🔗 Submit here: easychair.org/conferences/?c…

This is the time to submit your work to one (or more!) of the CAV 2025 workshops! Check out all workshops here: conferences.i-cav.org/2025/workshops/

The HYPER-2025 workshop will be co-located with CAV in Zagreb, Croatia, on July 21! Submit your extended abstracts now! Submission deadline is May 23, for more details, visit: hyperworkshop25.cispa.io See you at #cav25!

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/registrat…