Applications of focusing to the proof theory of arithmetic
Mathematical Logic Webinar, por Matteo Manighetti (Inria Saclay & LIX, École Polytechnique, Palaiseau, France).
Mathematical Logic Webinar, por Matteo Manighetti (Inria Saclay & LIX, École Polytechnique, Palaiseau, France).
Lisbon Webinar in Analysis in Differential Equations, por Enrico Serra (Politecnico di Torino).
Mathematical Logic Webinar, por Fernando Ferreira (Universidade de Lisboa - CMAFcIO).
Lisbon Webinar in Analysis in Differential Equations, por Charles Collot (Cergy Paris Université).
Geometry Webinar, por Thomas Krämer (Humboldt Universität zu Berlin).
Mathematical Logic Webinar, por Bruno Jacinto (Universidade de Lisboa) e José Mestre (Stirling (SASP) e LanCog (Lisboa)).
Lisbon Webinar in Analysis in Differential Equations, por Serena Dipierro e Enrico Valdinoci (University of Western Australia).
Webinar de Análise e Equações Diferenciais, por Nilima Nigam (Simon Fraser University).
Webinar de Lógica Matemática, por Ana Borges (Universidade de Barcelona).
Geometry Webinar, por André Oliveira (CMUP).