Preface
    This volume contains the papers presented at the 14th edition of the International Workshop
on Satisfiability Modulo Theories (SMT 2016). The workshop was held on July 1st and 2nd 2016
in Coimbra, Portugal in association with the 8th International Joint Conference on Automated
Reasoning (IJCAR 2016).
    The SMT workshop is world’s premier annual event dedicated to SMT. It is a forum that
brings together researchers of SMT, users of SMT technologies, and students. The workshop
covers all aspects SMT including new decision procedures, novel applications, implementation
techniques, theoretical developments, evaluation methodologies, and case studies. As in previ-
ous years of the workshop, we invited three categories of papers: extended abstracts, to describe
preliminary works in progress and solicit feedback, original papers, to present original, mature
research, and presentation-only papers, to provide additional access to important developments
that SMT Workshop attendees may be unaware of.
    This year the workshop received 16 submissions. Each submission was reviewed by at least
three program committee members. We have accepted 15 of these submissions as contributions
to the workshop. This reflects the high quality of the submissions and the interests of the pro-
gram committee in: fostering discussion, the presentation of preliminary work, and encouraging
participation. Accepted were 5 original papers, 4 extended abstracts, and 6 presentation-only
papers. Additionally, the program included three invited talks by Bruno Dutertre from SRI
International, Carsten Fuhs from Birkbeck, University of London, and Justin Pearson from
Uppsala University.
    We would like to thank the authors, the invited speakers, the program committee, the
reviewers, and the steering committee for their contributions to the workshop. We thank the
IJCAR organizers for hosting the workshop, the EasyChair team for the availability of the
EasyChair Conference System, and the CEUR Workshop Proceedings team for their help in
publishing these proceedings.

July, 2016                                                                           Tim King
                                                                                  Ruzica Piskac