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

Tjark Weber tjark.weber at it.uu.se
Mon Jul 17 15:31:52 EDT 2017

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). ***


More information about the SMT-COMP mailing list