Wednesday, July 28, 2021
33rd International Conference on Computer-Aided Verification; satisfiability modulo theories; SMT; University of Iowa
http://i-cav.org/2021/cav-award/

The 2021 CAV Award recognizes the “pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT).”