SMT WORKSHOP