Prof. Tinelli, Dr. Reynolds et al. received a Best Paper Award for “Lazy Proofs for DPLL(T)-Based SMT Solvers” at the recent Formal Methods in Computer-Aided Design conference, held October, 3-6 2016, in Mountain View, CA, USA.