Topic: Computational methods, computability and computer aided proofs in dynamics with a special focus on statistical and ergodic properties. The understanding and forecasting of statistical properties of a dynamical model is a central topic in the modern theory of dynamical systems and in the applications. Computers already helps much in this understanding. This gives a strong motivation to the study of the theoretical limits of such computations and to the development of new methods and algorithms for the rigorous computation, where the reliability of the result is certified.

Speakers: Wael Bahsoun (Loughborough University) Stefano Galatolo (Università di Pisa) Walid Gooma (Egypt-Japan University of Science and Technology) Mathieu Hoyrup (INRIA, Nancy) Maurizio Monge (Universitade Federal do Rio de Janeiro) Isaia Nisoli (Universidade Federal do Rio de Janeiro) Cristobal Rojas (Universitade Andres Bello, Santiago) Michael Yampolsky (University of Toronto)