International Workshop on Satisfiability Modulo Theories

SMT 2014: Vienna, Austria

SMT 2012: Manchester, UK

maintained by Schloss Dagstuhl LZI, founded at University of Trier