Classes in HYPE
Seminário de Lógica Matemática, por Maria Beatrice Buonaguidi (King's College London).
Lógica
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).
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).
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).
Towards Canonical Proofs for Second Order Intuitionistic Logic
Seminário de Lógica Matemática, por Paolo Pistone (Université Claude Bernard Lyon 1).
Free sets and rainbows for colorings of exactly large sets
Seminário de Lógica Matemática, por Oriola Gjetaj (University of Ghent).
How constructive is Gödel's Dialectica translation?
Seminário de Lógica Matemática, por Stephen Mackereth (Dartmouth College, USA).
On the alleged failure of Frege’s original programme
Seminário de Lógica Matemática, por Fernando Ferreira (University of Lisbon).
Verifiability: an Empirical Account of Meaning
Mathematical Logic Seminar, por Paulo Guilherme Santos (ISCAL and CMAFcIO).
Dissymetrical Linear Logics
Mathematical Logic Seminar, por Jean-Baptiste Joinet (Université Jean Moulin, Lyon 3, France).