25-09-2026
The Center of Mathematics and Applications (NOVA Math) promotes the Distinguished Lecture Series in Mathematics with the title: "Proof Mining: A Logic-Based Approach to Computational Mathematics". Ulrich Kohlenbach (Department of Mathematics, Technische Universität Darmstadt, Germany) is the speaker.
Abstract here.
October 7, 14h30, Library Auditorium
