[SMT-COMP] SMT-COMP 2017: Call for Solver Presentations
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