Computational Proofs for Dynamics in PDEs

6 - 10 June 2016

Venue: Lorentz Center@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.

Follow us on:

Niels Bohrweg 1 & 2

2333 CA Leiden

The Netherlands

+31 71 527 5400