Section: Overall Objectives

Highlights of the Year

Our team made remarkable progress into the difference between “real world” systems and artefacts due to exact (infinite) precision computations. Olivier Bournez, Daniel Graça and Emmanuel Hainry succeeded in proving an equivalence between robustness and computability: Robust dynamical systems have computable dynamical properties [12] , a strong evidence that “real world” systems will not exhibit undecidability properties.

Another highlight of the year is a paper by Hugo Férée, Mathieu Hoyrup and Walid Gomaa, accepted in LICS 2013 [19] that provides a systematic approach to define and analyse the complexity of algorithms acting on infinite precision numbers (infinite words).