Advanced SMT Workshop