Special Session at SMT 2019