Mathematical Logic Webinar, por Sérgio Marcelino (Instituto de Telecomunicações - IST).

Mathematical Logic Webinar, por Daniel Graça (Departamento de Matemática, Faculdade de Ciências e Tecnologia da Universidade do Algarve).

Mathematical Logic Webinar, por Emanuele Frittaion (Mathematics Department of TU-Darmstadt - Germany).

Mathematical Logic Webinar, por Matteo Manighetti (Inria Saclay & LIX, École Polytechnique, Palaiseau, France).

Mathematical Logic Webinar, por Fernando Ferreira (Universidade de Lisboa - CMAFcIO).

Mathematical Logic Webinar, por Bruno Jacinto (Universidade de Lisboa) e José Mestre (Stirling (SASP) e LanCog (Lisboa)).

Webinar de Lógica Matemática, por Ana Borges (Universidade de Barcelona​).

Speaker: Paulo Guilherme Santos (Departamento de Matemática - Universidade Nova de Lisboa).

Abstract: In this talk, we will present a form of completeness for numerals that holds for Peano Arithmetic. We will establish relationships between this result and a weak version of an initial form of Hilbert's Program.

Speaker: Ulrich Kohlenbach (Department of Mathematics - Technische Universität Darmstadt).

Speaker: Imme van den Berg (CIMA, Universidade de Évora).