International Workshop on Satisfiability Modulo Theories

SMT 2014: Vienna, Austria

SMT 2012: Manchester, UK

maintained by Schloss Dagstuhl LZI at University of Trier