CAV (@confcav) 's Twitter Profile
CAV

@confcav

36th International Conference on Computer-Aided Verification. July 22-27, 2024 in Montréal 🇨🇦. Publicity Co-Chairs: @NorineCoenen & @frenkel_hadar. Use #cav24

ID: 1025882057379999744

linkhttp://i-cav.org/2024/ calendar_today04-08-2018 23:11:57

231 Tweet

723 Followers

0 Following

CAV (@confcav) 's Twitter Profile Photo
CAV
@confcav

4 months ago

🥁And the #cav24 Award goes to...🥁 Clark Barrett Stanford University, David Dill Stanford University, Kyle Julian Wing, Guy Katz HUJI CSE and Mykel Kochenderfer Mykel Kochenderfer Stanford University for their #cav17 paper “Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks” Congratulations! 👏

🥁And the #cav24 Award goes to...🥁 Clark Barrett <a href="/Stanford/">Stanford University</a>, David Dill <a href="/Stanford/">Stanford University</a>, Kyle Julian <a href="/Wing/">Wing</a>, Guy Katz <a href="/CseHuji/">HUJI CSE</a> and Mykel Kochenderfer <a href="/aiprof_mykel/">Mykel Kochenderfer</a> <a href="/Stanford/">Stanford University</a> for their #cav17 paper “Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks” Congratulations! 👏