Some recent developments in proof mining
Speaker: Ulrich Kohlenbach (Department of Mathematics - Technische Universität Darmstadt).
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).
Speaker: Giordano Cotti (GFM).
Speaker: Marco Caroccia (Università degli studi di Roma Tor Vergata).
Speaker: Jean-Francois Babadjian (Université Paris Saclay).
Speaker: Étienne Miquey (École Normale Supérieure de Lyon).
Speaker: Hynek Kovařík (Università degli studi di Brescia).
Absence of positive eigenvalues of magnetic Schroedinger operators We study sufficient conditions for the absence of positive eigenvalues of magnetic Schroedinger operators in R^n. In our main result we prove the absence of eigenvalues above certain threshold energy which depends explicitly on the magnetic and electric field. A comparison with the examples of Miller-Simon shows that our result is sharp as far as the decay of the magnetic field is concerned.
Speaker: Étienne Miquey (École Normale Supérieure de Lyon).
Speaker: Rainer Mandel (Karlsruhe Institute of Technology).