On representability by arithmetic terms Speaker: Mihai Prunescu (University of Bucharest and IMAR) Thursday, April 18, 2024, 14:00 FMI, Hall 214
Partial (co)recursive functions in Coq and Lean Speaker: Horatiu Cheval (University of Bucharest) Thursday, April 4, 2024, 14:00 FMI, Hall 214
Equilibria in multiagent online problems with predictions Speaker: Gabriel Istrate (University of Bucharest) Thursday, March 28, 2024, 14:00 FMI, Hall 214
Modal logic for program specification Speaker: Natalia Ozunu (University of Bucharest) Thursday, March 21, 2024, 14:00 FMI, Hall 214
An institution-theoretic approach to bisimilarity Speaker: Ionuț Țuțu (IMAR) Thursday, March 14, 2024, 14:00 FMI, Hall 214
(Post-)Quantum Cryptography II Speaker: Nicoleta Dumitru (University of Bucharest) Thursday, March 7, 2024, 14:00 FMI, Hall 214
A Free Logic for Fictionalism Speaker: Mircea Dumitru (University of Bucharest/Romanian Academy) Thursday, February 29, 2024, 14:30 FMI, Hall 214
(Post-)Quantum Cryptography Speaker: Nicoleta Dumitru (University of Bucharest) Thursday, February 22, 2024, 14:00 FMI, Hall 214
The logic of gradable adjectives II Speaker: Marian Călborean (University of Bucharest) Thursday, February 8, 2024, 14:00 FMI, Hall 214
The logic of gradable adjectives: a layered supervaluationism and parametrized degree-theory Speaker: Marian Călborean (University of Bucharest) Thursday, January 25, 2024, 14:00 FMI, Hall 214
Formalizing Hybrid Modal Logic in Lean Speaker: Alexandru Oltean (University of Bucharest) Thursday, January 11, 2024, 14:00 FMI, Hall 214
Research in Pairs – Bucharest