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).
Speaker: Svetlana Roudenko (Florida International University).
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: Qiao Huang (GFM, Universidade de Lisboa).
Pedro Castro desenvolve modelos e algoritmos com base em programação linear inteira mista. O investigador no DEIO e CMAFcIO Ciências ULisboa é um dos vencedores do Prémio Científico ULisboa/CGD 2019.
Speaker: Ulrich Kohlenbach (Department of Mathematics - Technische Universität Darmstadt).
Speaker: Youcef Mammeri (Université de Picardie Jules Verne).
We all have to deal with the coronavirus epidemic. Many strategies have been put in place to try to contain the disease, with varying success. I will present an SIR-type mathematical model to predict the state of the epidemic. The effect of distancing, isolation of exposed individuals and treatment of symptoms will be compared. I will begin with a simple explanation of SIR models, then discuss a PDE model and its resolution.
Speaker: Imme van den Berg (CIMA, Universidade de Évora).
