[SMT-COMP] Solver presentations at SMT 2019

[Aina Niemetz]

Dear SMT-COMP participants,

The SMT 2019 Workshop will allocate a time slot for solver presentations
in the session for presenting the results of SMT-COMP 2019.

We invite participating teams who are physically present at the workshop
to present at this session. The time available to each team will depend
on how many teams are actually present.

Can you please respond to this thread, indicating if you will be present
and plan to present your tool?

Thanks,
Aina

-------------- 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/20190615/46a6b3b2/attachment.asc>