Amsterdam Dynamics/Lowlands seminar by Jan Bouwe van den Berg on 28th of June

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.