iiinova — where your digital self keeps evolving

Reposted by Ferhat Erata

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

Reposted by Ferhat Erata

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

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

verifiedqc.github.io

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

031

Reposted by Ferhat Erata

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

Reposted by Ferhat Erata

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

Reposted by Ferhat Erata

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

Ferhat Erata @erata.bsky.social · 02/01/2025

📢 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

050

Reposted by Ferhat Erata

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