📢 Joint Call for #cav24 Workshop Contributions 📢
CAV24 hosts 10 exciting workshops: VMW, CoDaC, DAV, FRIDA, HYPER, OSSyM, SAIV, SMT, SYNT and VeriProP! It's time to submit your contributions (first deadline April 1 for CoDaC). See: i-cav.org/2024/workshops/
Workshop chair: Temesghen Kahsai

Final call for participation in 5th International Verification of Neural Networks Competition (VNN-COMP'24) to be held with 36th International Conference on Computer Aided Verification CAV and Symposium on AI Verification (SAIV)!

Website: sites.google.com/view/vnn2024

The third iteration of the HYPER workshop will be co-located with CAV in Montreal, Canada, on July 23! Find the call for presentations and invited speakers at hyperworkshop24.cispa.io, the deadline for extended abstracts is April 25. See you at #cav24 !

🏅Call for Nominations for CAV Award 2024 🏅
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 1, 2024.*
For more details, visit i-cav.org/2024/cav-award/

UPDATE extension for CAV 2024!
paper submission remains on January 19
updates are allowed until *January 26*
waiting for your great papers!
all details are here: i-cav.org/2024/call-for-…

📢 Final Call for Papers for CAV 2024 📢
The deadline is in 10 days (Jan 19 AoE) and the EasyChair submission page is open and ready for your amazing contributions: easychair.org/conferences/?c…

The deadline to submit a workshop proposal for  #cav24  is fast approaching. Checkout the call: i-cav.org/2024/call-for-… If you are interested in organizing a workshop at #cav24 , email your proposal by 12/01.

The  #cav24  call for workshops is out: i-cav.org/2024/call-for-…
If you are interested in organizing a workshop at #cav24 , you can submit your proposal until Dec 1! Our workshop chair @teme is looking forward to your email.

CAV2024 Call for papers is out. Submission deadline is January 19, 2024. Details are here: i-cav.org/2024/call-for-…

We are soliciting nominations for the CAV 2024 Program Committee. Submit via this (self-)nomination form: tinyurl.com/cav24-pc-nomin…. Nominations are open until September 20, 2023. #cav24 #pcnomination

Starting real soon! FLoC2022

We are happy to officially announce that FLoC'22 will be a physical meeting!
COVID regulations are being gradually relaxed in Israel, and we will provide continuous updates on the FLoC'22 webpage.
floc2022.org/covid-19

Are you still looking for a good reason to attend this year’s @FloC2022 in Haifa?
Zay and I organise the CAV satellite Workshop on Formal Methods for Blockchains (FMBC’22)!
Abstract deadline May 3rd: fmbc.gitlab.io/2022/cfp.html

Good news! You are working on formal methods and blockchain technology, here is a place to discuss and make these fields progress: FMBC'22 - FLoC's satellite.
🖊️ You should consider to submit your work -- abstract deadline 3rd May AoE: fmbc.gitlab.io/2022/cfp.html

The Call for Paper has been updated with dates pertaining to artifact evaluation and final version.
i-cav.org/2022/call-for-…

The Call for Papers is out on the CAV 2022 website:
i-cav.org/2022/call-for-…

Looking forward to your submissions!

Besides Loris' awesome keynote, much more content of #cav21 is now publicly available at ucl-pplv.github.io/CAV21/home
You can watch paper presentations, browse the schedule to (re)watch the keynotes, and peak into the tutorials and workshops. Go check it out! 📺

We are looking for PC members!

Please send us nominations by Sep 19 using this form:
forms.gle/upxs3PSEXxG47s…