Registration opens spring 2015
An important and growing approach to certain mathematical problems consists of developing rigorous numerical techniques in combination with more classical analytic methods in order to obtain rigorous qualitative and quantitative results. In some cases this leads to the proof of deep mathematical theorems and in other cases to quantitative, and thus more concrete and applicable, versions of abstract existence results.
This workshop will bring together experts in Dynamical Systems and experts in the theory of Computability to exchange ideas and results, and promote collaborations in view of significant developments in the field over the next few years.
The workshop will include four main streams of research:
- Approximation of Dynamical Quantities
- Regular and Stochastic Properties
- Computability in Dynamics