Some extremal problems in de Branges spaces
Seminário de Análise e Equações Diferenciais, por Antonio Pedro Ramos (Scuola Internazionale Superiore di Studi Avanzati).
CEMS.UL
Session-typed Staged Metaprogramming
Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).
Character Varieties in Knot Theory
Seminário de Geometria e Física, por Alejandro Calleja (Univ. Complutense, Madrid).
Stability of extremal domains
Seminário de Geometria, por Marcos Petrúcio Cavalcante (Universidade Federal de Alagoas - UFAL).
Stable phase retrieval
Seminário de Análise e Equações Diferenciais, por Mitchell A. Taylor (ETH Zurich).
Kunen's inconsistency and immediately below
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
A new proof of Herbrand’s Theorem and the proof assistant Lean
Seminário de Lógica Matemática, por Lia Malato (Universidade de Lisboa).
On the fractional Schrödinger equation with variable coefficients
Seminário de Análise e Equações Diferenciais, por Didier Pilod (University of Bergen).
Computability in Europe 2025
Uma série interdisciplinar de conferências internacionais organizada pela Associação Computabilidade na Europa (ACiE).
On the Halpern method with adaptive anchoring parameters
Seminário de Lógica Matemática, por Pedro Pinto (Technische Universität Darmstadt).