Classes in HYPE
Seminário de Lógica Matemática, por Maria Beatrice Buonaguidi (King's College London).
CMAFcIO
How to define (and formalize) the notion of algorithm? Problems and perspectives
Seminário de Lógica Matemática, por Alberto Naibo (Université Paris 1 Panthéon-Sorbonne, IHPST).
The local-to-global principle via topology of the Balmer-Favi support
Geometry and Physics Seminar, por Nicola Bellumat (CMAFcIO).
Visser's Rules in Intuitionistic Modal Logics
Seminário de Lógica Matemática, por Raheleh Jalali (Institute of Computer Science - Czech Academy of Sciences).
Fully nonlinear dead-core systems
Lisbon Webinar in Analysis and Differential Equations, por Damião Araújo (Universidade Federal da Paraíba).
Higgsing on SU(N) Symmetric Matter and its F-theory Realization
Geometry and Physics Seminar, por Andrew P. Turner (Virginia Tech, USA).
Proof mining and asymptotic regularity
Seminário de Lógica Matemática, por Laurentiu Leustean (University of Bucharest & Institute for Logic and Data Science & Simion Stoilow Institute of Mathematics of the Romanian Academy).
Dot product problems in the fractal setting and barriers to current methods
Lisbon Webinar in Analysis and Differential Equations, por Steven Senger (Missouri State University).
Towards Canonical Proofs for Second Order Intuitionistic Logic
Seminário de Lógica Matemática, por Paolo Pistone (Université Claude Bernard Lyon 1).
Small minimal clusters in Riemannian (or Finsler) manifolds
Lisbon Webinar in Analysis and Differential Equations, por Aldo Pratelli (Università di Pisa).