Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Deadline extension: SMT Workshop 2022


view this post on Zulip Email Gateway (May 11 2022 at 20:48):

From: Antti Hyvärinen <antti.hyvarinen@gmail.com>
(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

http://smt-workshop.cs.uiowa.edu/2022/

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

Best regards,
Antti and David


Last updated: Jul 15 2022 at 23:21 UTC