[TYPES/announce] Deadline extension: SMT Workshop 2022

[Antti Hyvärinen]

(Apologies for multiple posts)

=================================================================
  Deadline extension: SMT Workshop 2022

  News:
    - travel grants
    - invited speakers
=================================================================

Due to a number of requests, we have decided to extend the
submission deadline for SMT Workshop 2022.

The new submission deadline for full papers is

*EXTENDED TO* May 24, 2022 23.59 AoE

The new submission deadline for abstracts is

*EXTENDED TO* May 22, 2022 23.59 AoE



We use this occasion to announce that, thanks to the generosity
of our sponsors, we are able to offer three travel grants of 1000
USD each.  We plan to offer these funds to students, who may
have limited travel funding and have a paper accepted to the
workshop.

Finally, we want to advertise that our invited speakers will be
Aina Niemetz and Grigore Rosu.

The full call for papers can be found at the workshop web page

   https://urldefense.com/v3/__http://smt-workshop.cs.uiowa.edu/2022/__;!!IBzWLUs!VAuL4gZvdVnMfGR7tUPaV-n41YfaemRVlTT6htDREdmSDFivxS4KYuyutHBnWgcgn6YhOYJZMkkHIgBI0dfqFlczRj0dpHWDP2Cq-3XL$ 

In case you have further questions, please contact us, the PC
chairs.

Best regards,
Antti and David