SMT Workshop 2017
15th International Workshop on Satisfiability Modulo Theories
Affiliated with CAV 2017, Heidelberg, Germany
July 22nd - 23nd, 2017
--- Call For Participation ---
======================================================================
Registration is open for SMT 2017 through the CAV 2017 webpage
Invited Speakers
----------------
Andrew Reynolds, University of Iowa
James Davenport, University of Bath
Morgan Deters Travel Award
-------------------
The Morgan Deters Travel Award was created to honor the memory of
Morgan Deters, for his contributions to the theory and practice of SMT.
The award is intended to enable selected students to attend the SMT
workshop by partially covering their workshop-related expenses. While
preference will be given to students who will play an active role in
the workshop, students who do not expect to give presentations,
including students who have just begun their research, or are
considering the field, are encouraged to apply.
be submitted by July 17th.
Donations to the travel award fund are welcome at