[Logica-l] LoCa2025 - mesa redonda em homenagem a Newton da Costa - 10 de abril de 2025, 16h, IFCS-UFRJ

2025-04-01 Por tôpico jean-yves beziau
Estamos iniciando o seminário de Lógica Carioca 2025 com uma mesa redonda em homenagem a Newton da Costa, cerca de uma ano após o falecimento dele. IFCS-UFRJ, Largo São Francisco de Paula 1, Rio de Janeiro Sala Celso Lemos, terceiro andar, 16h, 10 de Abril de 2025 Todos são bem-vindos para assistir

[Logica-l] Apr 8, 2025: talk on Tools for teaching logic, by María Manzano

2025-04-01 Por tôpico Joao Marcos
The DLMPST Commission on Logic Education https://dlmps.org/pages/commissions.php invites you to a webinar on logic education by Professor María Manzano. Date: Apr 8, 2025 Time: 9:00 GMT-3 Zoom link: https://cmi-ac-in.zoom.us/j/89497108451?pwd=rLl7QvAfnfJHTxp5h6ZVoZzyGuvNQQ.1 Meeting ID:

[Logica-l] [PPDP 25] Second Call for Papers

2025-04-01 Por tôpico Carlos Olarte
The 27th International Symposium on Principles and Practice of Declarative Programming September 10-11, 2025 University of Calabria, Rende, Italy https://ppdp25.github.io/site/ Collocated with ICLP 2025. https://iclp25.demacs.unical.it/ # Important dates - Title and abstract