Upcoming Talks:

Proof Mining and Probability Theory
Logic Colloquium 2024, Göteborgs universitet, June 24 - June 28, 2024.

Past Talks: 

Duality, Frechet Differentiability and Bregman Distances in Hyperbolic Space
Proof Mining Seminar, LOS-ILDS, Facultatea de Matematică și Informatică, Universitatea din București (online), March 20, 2024.

Generalized Fejer Monotone Sequences
Proof Mining Seminar, LOS-ILDS, Facultatea de Matematică și Informatică, Universitatea din București (online), March 13, 2024.

Proof-theoretically tame approaches to some tameless areas of mathematics
Oberseminar "Mathematische Logik", Julius-Maximilians-Universität Würzburg, November 20, 2023.

Proof Mining and duality in Banach spaces
Oberwolfach Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics", November 12 - November 17, 2023.
Extended abstract in S. Buss, R. Iemhoff, U. Kohlenbach, M. Rathjen: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Reports, to appear. (doi:10.4171/OWR/2023/53)

Intensional Methods in Applied Proof Theory
Logic Colloquium 2023, Special Session on Applied Proof Theory (invited), Università degli Studi di Milano, June 5 - June 9, 2023.

Proof mining for the dual of a Banach space and extensions
Seminário de Lógica Matemática, Faculdade de Ciências, Universidade de Lisboa (online), March 17, 2023.

A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
Proof Mining Seminar, LOS-ILDS, Facultatea de Matematică și Informatică, Universitatea din București (online), January 11, 2023.

Proof Mining and Monotone Operator Theory
International Conference on Applied Proof Theory, Università degli Studi "G. d'Annunzio" Chieti - Pescara, August 29 - September 2, 2022.

Proof mining for maximally monotone set-valued operators
Proof Mining Seminar, LOS-ILDS, Facultatea de Matematică și Informatică, Universitatea din București (online), June 29, 2022.

Bound extraction theorems for proofs involving monotone operators
Seminário de Lógica Matemática, Faculdade de Ciências, Universidade de Lisboa (online), February 14, 2022.

Quantitative results for differences of maximal monotone operators
Workshop on "New Frontiers in Proofs and Computation", IASM Hangzhou / BIRS (online), September 12 - September 17, 2021.

Quantitative results for equilibrium problems
Oberwolfach Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics", November 8 - November 14, 2020.
Extended abstract in S. Buss, R. Iemhoff, U. Kohlenbach, M. Rathjen: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Reports 17(4) (2020), pp. 1693-1757. (doi:10.4171/OWR/2020/34)