Laver tables and Large Cardinals
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
CEMS.UL
Elementary nonstandard axiomatic systems and standard real numbers
Seminário de Lógica Matemática, por Imme van den Berg (CIMA, University of Évora).
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).
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).