"Rates of (T-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration", LOS-ILDS Proof Mining Seminar, Faculty of Mathematics and Computer Science, University of Bucharest, (online) 19 March 2025
"The alternating Halpern-Mann iteration for families of maps", Workshop on Proof Mining 2024, Technische Universität Darmstadt, Germany, September 4 - September 6, 2024
"Herbrandized Modified Realizability", Lisbon Young Mathematicians Conference, Instituto Superior Técnico, Universidade de Lisboa, April 2024
"Functional interpretations over finite types with star types", Seminar on Mathematical Logic, CMAFcIO, Faculdade de Ciências da Universidade de Lisboa, March 2023