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

[Tjark Weber]

Dear SMT-COMP participants,

The SMT 2016 Workshop will feature a 30-minute presentation of the
participants and results of the 11th International Satisfiability
Modulo Theories Competition (SMT-COMP 2016) on Saturday, July 2.

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 me ONE slide about
your solver (in PDF format) no later than

   *** Friday, July 1 at 22:00 (Coimbra local time). ***

Best,
Tjark