Regularity and complete distributivity in fuzzy metric spaces and formal contexts Speaker: Adriana Bălan (Politehnica Bucharest) Thursday, December 12, 2024, 14:00 FMI, Hall 214
Around Herbrand’s Theorem II Speaker: Andrei Sipoș (University of Bucharest and IMAR) Thursday, December 5, 2024, 14:00 FMI, Hall 214
Around Herbrand’s Theorem I Speaker: Andrei Sipoș (University of Bucharest and IMAR) Thursday, November 28, 2024, 14:00 FMI, Hall 214
Intuitionistic propositional logic II Speaker: Dafina Trufaș (University of Bucharest and ILDS) Thursday, November 21, 2024, 14:00 FMI, Hall 214
Intuitionistic propositional logic Speaker: Dafina Trufaș (University of Bucharest) Thursday, November 14, 2024, 14:00 FMI, Hall 214
Arithmetic Terms III Speaker: Mihai Prunescu (University of Bucharest and IMAR) Thursday, October 31, 2024, 14:00 FMI, Hall 214
Proof mining and applications to optimization and nonlinear analysis Speaker: Horațiu Cheval (University of Bucharest) Thursday, October 17, 2024, 14:00 FMI, Hall 214
Trees, algorithms and logics Speaker: Marian Călborean (University of Bucharest) Thursday, June 6, 2024, 14:00 FMI, Hall 214
The sharp power law of local search on expanders Speaker: Simina Brânzei (Purdue University) Thursday, May 23, 2024, 14:00 FMI, Hall 214
On recurrent sequences of integers Speaker: Mihai Prunescu (University of Bucharest and IMAR) Thursday, May 16, 2024, 14:00 FMI, Hall 214
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