O FLoC de Israel está cada vez mais perto! %%%
Na mensagem abaixo se encontra, em particular, links para o programa do IJCAR deste ano. Ele inclui alguns papers bastante interessantes, em particular um de autoria da Cláudia Nalon e outro de autoria da Elaine Pimentel. O nosso próprio paper lá também pode vir a ser de interesse para alguns colegas desta lista; tomo então a liberdade para divulgá-lo aqui: Finite two-dimensional proof systems for non-finitely axiomatizable logics Vitor Greati & JM https://arxiv.org/abs/2205.08920 %%% Em breve teremos disponibilizado também o programa do ThEdu (International Workshop on Theorem-Proving Components for Educational Software) deste ano: https://www.uc.pt/en/congressos/thedu/ThEdu22 []s, Joao Marcos ---------- Forwarded message --------- The 11th International Joint Conference on Automated Reasoning (IJCAR 2022) August 8-10, in-person in Haifa, Israel The program for IJCAR 2022 is now available at ... https://easychair.org/smart-program/FLoC2022/IJCAR-program.html The workshops assocbiated with IJCAR 2022 are listed at ... https://easychair.org/smart-program/FLoC2022/IJCAR-workshops.html Registration for IJCAR 2022 is now open at ... https://easychair.org/smart-program/FLoC2022/IJCAR-Registration.html Grants to support students' attendance at IJCAR 2022 are available ... https://easychair.org/smart-program/FLoC2022/IJCAR-Grants.html -- 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/CAO6j_LhokygZhVzM50X2bNC6f32sFkteSXKFtUdRzBYhrhu2ZA%40mail.gmail.com.