A Language-Theoretic Approach to the Heapability of Signed Permutations Speaker: Gabriel Istrate (University of Bucharest) Thursday, April 10, 2025, 14:00 FMI, Hall 214
Distinguishability Operation, Properties and Perspectives Speaker: Cezar Câmpeanu (University of Prince Edward Island) Thursday, March 27, 2025, 14:00 FMI, Hall 214
Applications of C-recursive sequences to number theory 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
