=Paper=
{{Paper
|id=Vol-1889/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1889/preface.pdf
|volume=Vol-1889
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1889/preface.pdf</pdf>
<pre>
Preface
This volume contains the papers presented at the 15th edition of the In-
ternational Workshop on Satisfiability Modulo Theories (SMT 2017). The
workshop was held on July 22nd and 23rd 2017 in Heidelberg, Germany
in association with the 29th International Conference on Computer-Aided
Verification (CAV 2017). 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, imple-
mentation 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 im-
portant developments that SMT Workshop attendees may be unaware of.

    This year the workshop received 18 submissions. Each submission was
reviewed by at least three program committee members. We have accepted
16 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 encour-
aging participation. Accepted were 6 original papers, 3 extended abstracts,
and 7 presentation-only papers. Additionally, the program included two in-
vited talks by James Davenport from The University of Bath and Andrew
Reynolds from The University of Iowa. We would like to thank the authors,
the invited speakers, the program committee, the reviewers, and the steer-
ing committee for their contributions to the workshop. We thank the CAV
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.

   August, 2017

   Martin Brain
   Liana Hadarean

</pre>