SMT 2017