CAV 2024 Award We are pleased to announce that the Computer Aided Verification (CAV) 2024 Award is given to: Clark Barrett, David Dill, Kyle Julian, Guy Katz, and Mykel Kochenderfer for their CAV 2017 paper titled "Reluplex: An Efficient SMT Solver for...