This volume contains the papers presented at the 12th edition of the International Workshop on Satis ability Modulo Theories (SMT 2014). The workshop was held on July 17th and 18th 2014 as part of the Vienna Summer of Logic (VSL 2014), in association with the 26th International Conference on Computer Aided Veri cation (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satis ability Testing (SAT 2014). The workshop is the main annual event of the SMT community, where both researchers and users of SMT technology meet and discuss new theoretical ideas, implementation and evaluation techniques, as well as applications. Like in previous editions of the workshop, this year we invited submissions in three categories: extended abstracts, to present preliminary reports of work in progress; original papers, to describe original and mature research; and presentation-only papers, to provide additional access to important developments, recently published or submitted elsewhere and which SMT Workshop attendees may be unaware of. We received 13 submissions and each of them was reviewed by three program committee members. Due to the quality of and interest in the submissions, and in keeping with the desire to encourage presentation and discussion of work in progress, we were able to accept 11 contributions for presentation at the workshop: 2 original papers, 4 extended abstracts, and 5 presentation-only papers. Furthermore, the program included two invited talks, by Clark Barrett from New York University and Guillaume Melquiond from Inria. We would like to thank the authors, the invited speakers, the program committee, and the reviewers for their work and contributions to the workshop. We thank the CAV, IJCAR, SAT, and VSL organizers for their support and for hosting the workshop, and the EasyChair team for the availability of the EasyChair Conference System.
Program Committee
Roberto Bruttomesso Bruno Dutertre Pascal Fontaine Malay Ganai Sicun Gao Amit Goel Alberto Griggio Jochen Hoenicke Dejan Jovanovic Albert Oliveras Philipp Rummer Christoph Sticksel Cesare Tinelli Tjark Weber Georg Weissenbacher Thomas Wies Christoph M. Wintersteiger University of Oxford Atrenta SRI International Inria, Loria, University of Lorraine NEC Labs America Carnegie Mellon University Calypto Design Systems FBK-IRST University of Freiburg SRI International Technical University of Catalonia Uppsala University The University of Iowa The University of Iowa Uppsala University Vienna University of Technology New York University Microsoft Research Additional Reviewers