On Wednesday 28th of June at 4pm in the MathLab, Jan Bouwe van den Berg (VU Amsterdam) will give an Amsterdam Dynamics seminar.
This is a join talk between the Amsterdam Dynamics Seminar and the Lowlands Seminar. The talk will be hosted in Amsterdam and streamed to Hamburg; those who are in Amsterdam are welcome to join for drinks at Bar Boele after the talk.
Title: Computer Assisted Proofs for dynamical systems
Abstract: In this talk I will introduce the main ideas of using computer assisted proofs in nonlinear analysis with a particular focus on dynamical systems, in both finite and infinite dimensions.
We will mainly look at results for ordinary differential equations, but I will also show pictures of recent progress for parabolic and elliptic partial differential equations.