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

[Tjark Weber]

Dear SMT-COMP participants,

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

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

   *** Wednesday, July 11 at 22:00 (Oxford local time). ***

Best,
Tjark









När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/om-uu/dataskydd-personuppgifter/