[SMT-COMP] SMT-COMP 2019: Final Call for Solvers

[Aina Niemetz]

======================================================================

    14th International Satisfiability Modulo Theories Competition
                              (SMT-COMP'19)

                              July 7-8, 2019
                             Lisbon, Portugal

                           FINAL CALL FOR SOLVERS

======================================================================

We now invite registration of solvers for SMT-COMP 2019.

Solvers must be uploaded to StarExec, and entered into the competition
via the web form at

https://forms.gle/y8xB4C8TB2WkdKPx9

The submission deadline for (first versions of) solvers is

    *** May 19, 2019. ***

After the above date, no new entrants will be accepted. However,
submitted solvers may be updated until

    *** June 2, 2019. ***

Note that a short system description of 1-2 pages (see Section 4 of the
competition rules at https://smt-comp.github.io/2019/rules19.pdf) is
part of the solver submission and MANDATORY. Submission of the system
description is due until the final solver deadline on June 2, 2019.
Participants must submit the system description via email to the
SMT-COMP organizers and include corresponding solver names and StarExec
links to the solvers.

Please see the competition rules for further details.

Sincerely,
Aina (for the organizing team)




-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-comp/attachments/20190511/0aef6f33/attachment.asc>