(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
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOjWAbCp-Ne8N21ACO51ei-ZBuY8-YzU%3DWaQMEAppt1yV8nZ%2BQ%40mail.gmail.com.
