Natural term logic
Seminário de Lógica Matemática, por Bruno Dinis (Universidade de Évora and CIMA - Centro de Investigação em Matemática e Aplicações).
CEMS.UL
The Philosophical Significance of Gödel's Dialectica Interpretation
Seminário de Lógica Matemática, por Stephen Mackereth (Dartmouth College, Society of Fellows and Department of Philosophy).
Functional Interpretations and Proof Mining
Seminário de Lógica Matemática, por Paulo Firmino (Faculdade de Ciências da Universidade de Lisboa).
Conic o-minimal sheaves, Part III - Characterizations of conic o-minimal sheaves
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).
Conic o-minimal sheaves, Part II - Sheaves on the conic o-minimal spectrum
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).
Conic o-minimal sheaves, Part I - Properties of conic definable sets
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).
Analyticity of the Lyapunov exponent: from finite to infinitely supported measures
Seminário de Sistemas Dinâmicos, por Marcelo Durães (DCM, FCUL).
A dynamic model of congestion
Seminário de Análise e Equações Diferenciais, por Héctor Chang-Lara (Universidade de Coimbra).
Num sistema puro de Neumann Lane-Emden: existência, convergência e resultados relacionados
Seminário de Análise e Equações Diferenciais, por Delia Schiera (Instituto Superior Técnico, Universidade de Lisboa).
Extremal edge perturbations and graph diameter
Seminário de Investigação Operacional, por Damján Tárkány (Joint work with Luis Gouveia).