[SMT-COMP] SMT-COMP 2017: Call for Solver Presentations

[Tjark Weber]

Dear SMT-COMP participants,

The SMT 2017 Workshop will feature a 30-minute presentation of the
participants and results of the 12th International Satisfiability
Modulo Theories Competition (SMT-COMP 2017) on Sunday, July 23.

As in previous years, we invite solver developers that are physically
present at this session to give a brief overview (no more than 1 to 2
minutes) of their competition solver.

If you wish to use this opportunity, please send us ONE slide about
your solver (in PDF format) no later than

   *** Friday, July 21 at 22:00 (Heidelberg local time). ***

Best,
Tjark