Ferhat Erata

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

That would be awesome 👍 Thanks! I am coordinating it now.

🤩 Will there be any recordings?

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

Prevent factual errors from LLM hallucinations with mathematically sound Automated Reasoning checks (preview) | Amazon Web Services Enhance conversational AI accuracy with Automated Reasoning checks - first and only gen AI safeguard that helps reduce hallucinations by encoding domain rules into verifiable policies.

Can AWS really fix AI hallucination? Interview with Byron Cook, Automated Reasoning, www.theregister.com/2025/01/07/i...

AWS News Blog: aws.amazon.com/blogs/aws/pr...

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

CAV'25 Artifact Evaluation Committee - Nomination Form

🚨 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 2025 Call for Papers is out!
🗓 Deadline: Jan 31, 2025
🔗 Details: conferences.i-cav.org/2025

Looking forward to your submissions! 📝✨

#CAV2025 #CallForPapers #FormalMethods #Verification

CAV 2025 37th International Conference on Computer Aided Verification

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!