SMT 2019 Special Session