FLoC, IJCAR, ThEdu

[Joao Marcos]

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