#cav24 is starting strong with the amazing keynote titled "How to Solve Math Problems without Talent" by Noriko Arai (National Institute of Informatics, Japan). Thank you, 新井紀子/ Noriko Arai, for accepting the invitation! Two more keynotes will follow: i-cav.org/2024/keynotes/

We concluded the first day of #cav24 with drinks and food at the reception 🥂 on which we also awarded the distinguished papers certificates. Congratulations again to all the authors! 🎉👏

🤩 It's time for #LogicLounge at CAV! Scott Shapiro from Yale Law School: "Realizing Leibniz's Dream" In this LogicLounge, Shapiro will explore how formal methods and LLMs can be utilized to realize Leibniz's dream of automated legal reasoning.🧑‍⚖️ 🔗 easychair.org/smart-program/…

👉 (Recorded) Talk at CAV | July 27: “Verifying Global Two-Safety Properties in Neural Networks with Confidence” 🖊️ by Anagha, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, and Georg Weissenbacher 🔗 arxiv.org/abs/2405.14400 🔗 tuwien.at/en/tu-wien/new…

The second keynote at #cav24 was given by Leonardo de Moura (Amazon Web Services) on "Lean 4: Bridging Formal Mathematics and Software Verification." Thank you, Leonardo, for this interesting talk! One more keynote to look forward to: i-cav.org/2024/keynotes/

‼️New Paper Alert‼️ Photo of Raven Beutner giving a wonderful talk on our joint work with Borzoo Bonakdarpour and Bernd Finkbeiner, titled: “Syntax-Guided Automated Program Repair For Hyperproperties” freshly published at CAV 2024!!! 🥳🥳🥳 Paper link coming soon!🏃🏻‍♀️

The #cav24 proceedings are online and #OpenAccess! To find the links to all three parts, scroll down all the way here: i-cav.org/2024/ The editors are our amazing conference co-chairs Arie Gurfinkel (University of Waterloo) and Vijay Ganesh (Georgia Tech). Happy reading, everyone! 📖

We started the 3rd #cav24 day at a the Mont Royal hike, and we are ending it with the banquet celebration 🎉🥳

The last of our amazing #cav24 keynotes is given by Erika Ábrahám (RWTH Aachen) on "The Art of SMT Solving." Thank you, Erika, for this inspiring talk! Check out the details to all three keynotes here: i-cav.org/2024/keynotes/

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