Categoria:
Palestra
Onde:
Presencial
Local:
Auditório da Biblioteca
Descrição:
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.
Ligação:
https://www.dm.fct.unl.pt/noticias/2026/09/distinguished-lecture-series-mathematics
