[Logica-l] Defesa de tese de doutorado

Caros, Gostaria de convidá-los para a defesa *remota* da tese de doutorado do meu aluno Vitor Pereira Machado, na quinta dia 13/07 às 9:00 (horário de Brasília). Abraços, Mario Aluno: Vítor Pereira Machado Título: Temporal Logics for Diffusion Social Networks Resumo: This thesis

[Logica-l] LUW July 12 - Rooted Hypersequent Calculus for Modal Logic S5 by Hamzeh Mohammad

Dear Colleagues The next session of the Logica Universalis Webinar will be Wednesday July 12 at 4pm CET (Paris, Geneva, Rome) with the talk "Rooted Hypersequent Calculus for Modal Logic S5" by Hamzeh Mohammadi presenting a paper recently published in LU:

[Logica-l] Logic Courseware, Surveyed

By Justin Weinberg, July 10, 2023 https://dailynous.com/2023/07/10/logic-courseware-surveyed/ -- Elaine. --- Elaine Pimentel Associate Professor in Programming Principles, Logic, and Verification Department of Computer Science University College London