[TYPES/announce] Deadline extension: SMT Workshop 2022

Antti Hyvärinen antti.hyvarinen at gmail.com
Wed May 11 10:56:23 EDT 2022

(Apologies for multiple posts)

  Deadline extension: SMT Workshop 2022

    - 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

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


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

Best regards,
Antti and David

More information about the Types-announce mailing list