[SMT-COMP] CALL for solver presentations at SMT 2019

[Aina Niemetz]

Dear SMT-COMP participants,

as mentioned in my last email, the SMT 2019 Workshop will allocate a
time slot for solver presentations in the session for presenting the
results of SMT-COMP 2019. This session is scheduled for the second day
of the workshop (July 8th) in the afternoon.

We invite participating teams who are physically present at the workshop
to briefly present their competing tool in this session (2-3 minutes).

If you want to use this opportunity to present, send me ONE slide per
competing solver (as a PDF file) no later than
		
		*** July 6th, 2019 (Lisbon local time) ***.

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/20190617/8a1bdd2d/attachment.asc>