Stability of extremal domains
Seminário de Geometria, por Marcos Petrúcio Cavalcante (Universidade Federal de Alagoas - UFAL).
CEMS.UL
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
Computability in Europe (CiE) is an interdisciplinary series of international conferences organised by the Association Computability in Europe (ACiE).
On the Halpern method with adaptive anchoring parameters
Seminário de Lógica Matemática, por Pedro Pinto (Technische Universität Darmstadt).
Selberg, Ihara and Berkovich
Seminário de Sistemas Dinâmicos, por Carlos Matheus (École Polytechnique, Paris).
The Máté-Sureson infinite model-theoretic characterization of NP vs coNP - 2
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
Higgs Bundles: An Introduction Through Gauge Theory
Minicurso por Pedro M. Silva (Pós-doc - CEMS.UL).