TBA Speaker: Mihai Prunescu (University of Bucharest, ILDS and IMAR) Thursday, March 13, 2025, 14:00 FMI, Hall 214
Trees, algorithms and logics II: Theoretical issues raised by a full theorem prover for Graham Priest’s An Introduction to Non-classical Logic Speaker: Marian Călborean (University of Bucharest) Thursday, February 27, 2025, 14:00 FMI, Hall 214
