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).
CEMS.UL
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).
Recent results on asymptotic behavior of almost periodic solutions of stochastic parabolic-hyperbolic conservation laws
Lisbon Webinar in Analysis and Differential Equations, por Hermano Frid (University of São Paulo-USP at Ribeirão Preto, Brazil).
Counts of lines with tangency conditions in A1-homotopy
Geometry and Physics Seminar, por Giosuè Muratore (CEMS.UL).
The Máté-Sureson infinite model-theoretic characterization of NP vs coNP - 1
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).