<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<b class="">CAV 2024:</b> 36th International Conference on Computer-Aided Verification<br class="">
July 22-27 2024, Montreal, Canada<br class="">
<a href="https://urldefense.com/v3/__https://i-cav.org/2024/__;!!IBzWLUs!TMNsYW-dFviCnmwpQmdzKJlkB_OZb5kxwEQjBNG32qIOirpS-MNMVrKT-9wmQNvfNnmP-Odd2N_1O3McRrz-C11FJgfz3NmOGUpC2as$" class="">https://i-cav.org/2024/</a> <br class="">
<br class="">
<br class="">
CAV 2024 is the 36th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with
an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. Along with the main conference, CAV will feature nine workshops (in addition to the Verification Mentoring Workshop).<br class="">
<br class="">
<b class="">The registration to CAV 2024 is now open.</b> The early registration deadline is June 23, 2024. Please find all details here: <a href="https://urldefense.com/v3/__https://i-cav.org/2024/registration/__;!!IBzWLUs!TMNsYW-dFviCnmwpQmdzKJlkB_OZb5kxwEQjBNG32qIOirpS-MNMVrKT-9wmQNvfNnmP-Odd2N_1O3McRrz-C11FJgfz3NmOKrrl4_A$" class="">https://i-cav.org/2024/registration/</a> <br class="">
<br class="">
<br class="">
Conference Dates: <br class="">
- Workshops: July 22-23, 2024 (<a href="https://urldefense.com/v3/__https://i-cav.org/2024/workshops/__;!!IBzWLUs!TMNsYW-dFviCnmwpQmdzKJlkB_OZb5kxwEQjBNG32qIOirpS-MNMVrKT-9wmQNvfNnmP-Odd2N_1O3McRrz-C11FJgfz3NmOEhw8Yxc$" class="">https://i-cav.org/2024/workshops/</a>)<br class="">
- Main conference: July 24-27, 2024<br class="">
<br class="">
Keynote Speakers: <br class="">
<a href="https://urldefense.com/v3/__https://i-cav.org/2024/keynotes/__;!!IBzWLUs!TMNsYW-dFviCnmwpQmdzKJlkB_OZb5kxwEQjBNG32qIOirpS-MNMVrKT-9wmQNvfNnmP-Odd2N_1O3McRrz-C11FJgfz3NmOXYSNPlM$" class="">https://i-cav.org/2024/keynotes/</a> <br class="">
- Noriko Arai, National Institute of Informatics (Tokyo, Japan): "How to Solve Math Problems without Talent"<br class="">
- Leonardo de Moura, AWS (Seattle, US): "Lean 4: Bridging Formal Mathematics and Software Verification"<br class="">
- Erika Ábrahám, RWTH Aachen University (Aachen, Germany): "The Art of SMT Solving”<br class="">
<br class="">
Accepted Papers: <br class="">
You can find a list of accepted papers here: <a href="https://urldefense.com/v3/__https://i-cav.org/2024/accepted-papers/__;!!IBzWLUs!TMNsYW-dFviCnmwpQmdzKJlkB_OZb5kxwEQjBNG32qIOirpS-MNMVrKT-9wmQNvfNnmP-Odd2N_1O3McRrz-C11FJgfz3NmO7geiW3s$" class="">https://i-cav.org/2024/accepted-papers/</a> <br class="">
<br class="">
<br class="">
Contact: <br class="">
For any questions please contact the PC chairs: <br class="">
Arie Gurfinkel, University of Waterloo <br class="">
Vijay Ganesh, Georgia Institute of Technology
</body>
</html>