Ferhat Erata
@erata.bsky.social
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Reposted by 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
@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
May 12, 2025 at 4:10 PM
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
@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
Reposted by Ferhat Erata
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...
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
May 25, 2025 at 10:38 PM
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...
conferences.i-cav.org/2025/accepted/
Register for #cav25 now at: conferences.i-cav.org/2025/registr...
Reposted by Ferhat Erata
📣 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/
🧠 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
March 27, 2025 at 3:54 AM
📣 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/
🧠 Bridging formal methods & quantum computing
📅 Call for Presentations now open!
🔗 verifiedqc.github.io/2025/cfp/
Reposted by Ferhat Erata
🏅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/
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
February 27, 2025 at 6:16 AM
🏅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/
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/
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...
AWS News Blog: aws.amazon.com/blogs/aws/pr...
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.
aws.amazon.com
January 14, 2025 at 4:53 AM
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...
AWS News Blog: aws.amazon.com/blogs/aws/pr...
Reposted by Ferhat Erata
📢 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...
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...
January 14, 2025 at 4:31 AM
📢 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...
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...
Reposted by Ferhat Erata
🚨 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/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
January 9, 2025 at 9:20 AM
🚨 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/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
🗓 Deadline: Jan 31, 2025
🔗 Details: conferences.i-cav.org/2025
Looking forward to your submissions! 📝✨
#CAV2025 #CallForPapers #FormalMethods #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!
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
January 2, 2025 at 6:43 PM
📢 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
🗓 Deadline: Jan 31, 2025
🔗 Details: conferences.i-cav.org/2025
Looking forward to your submissions! 📝✨
#CAV2025 #CallForPapers #FormalMethods #Verification
Reposted by Ferhat Erata
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!
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
January 2, 2025 at 6:38 PM
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!
The submission deadline is January 31, 2025. For more details, see: conferences.i-cav.org/2025/
Looking forward to your submissions!