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

TBA Speaker: Marian Călborean (University of Bucharest) Thursday, December 5, 2024, 14:00 FMI, Hall 214

TBA Speaker: Andrei Sipoș (University of Bucharest and IMAR) Thursday, November 28, 2024, 14:00 FMI, Hall 214

TBA Speaker: Andrei Sipoș (University of Bucharest and IMAR) 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