Computational Proofs for Dynamics in PDEs
6 - 10 June 2016
Venue: Snellius
If you are invited or already registered for this workshop, you have received login details by email.Description and aim
The past decade has seen enormous advances in the development of rigorously verified computing. For questions related to nonlinear dynamics the most significant results are associated with finite dimensional systems. In this workshop we intend to explore the challenges that lie ahead in applying these techniques to fully fledged problems in the theory of infinite dimensional nonlinear dynamical systems, with a particular emphasis on nonlinear partial differential equations.
×
