LSFA 2022 at UFMG - Call for participation The 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2022) will be held at UFMG, in Belo Horizonte, on Sep 23 and Sep 24, 2022.
The program will be online soon at https://lsfa2022.github.io/#program Registration for LSFA 2022 is free, but needs to be done through the link below. Graduate students interested in logical and semantic frameworks are specially encouraged to participate! https://forms.gle/b2yFCJEfiY8ScTux9 Please notice that coffee breaks are included but participants are responsible for their own lunch and dinner. See the LSFA 2022 web site for more information: https://lsfa2022.github.io/ Looking forward to an exciting conference! Best, -- Haniel Barbosa https://homepages.dcc.ufmg.br/~hbarbosa/ -- 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/87r10o744y.fsf%40gmail.com.
