Tentative schedule for the Workshop (July 7-9) on Computational Dynamics inside FoCM 05, Santander (June 30 - July 9) Day Time Speaker Title July 7 1h50m - 2h10m Stoffer Transversal homoclinic points of the Henon map July 7 2h15m - 2h35m Barkatou On Exponential Parts of Solutions of a Linear Differential System July 7 2h40m - 3h25m Junge On the macroscopic dynamics of randomly perturbed conservative maps July 7 4h00m - 4h45m Palmer Transversal Connecting Orbits from Shadowing July 7 4h50m - 5h35m Jorba On the fractalization of invariant curves in quasi-periodically forced 1-D maps July 7 5h40m - 6h25m Berz (*) Validated Integration of ODEs and PDEs with Taylor Model-based Tools July 8 1h50m - 2h35m Haro (*) Invariant manifolds in quasi-periodic systems: theory, computation and applications July 8 2h40m - 3h25m Petkov Hypergeometric Solutions of Linear Difference Equations with Hypergeometric Coefficients July 8 4h00m - 4h45m Yamposlky Non-computable quadratic Julia sets July 8 4h50m - 5h35m Zgliczynski Rigorous Numerics for Dissipative PDEs July 8 5h40m - 6h25m Makino Validated Global Optimization and Stability Estimates July 9 1h50m - 2h10m Luzzatto Computable conditions for the verification of chaos in one-dimensional dynamics July 9 2h15m - 2h35m Kapela Non-symmetric choreographies in the N-body problem July 9 2h40m - 3h25m Weil (*) About the Galoisian approach to the non-integrability of (Hamiltonian) differential systems July 9 4h00m - 4h45m Llave Methods of harmonic analysis applied to critical functions from Dynamical Systems July 9 4h50m - 5h35m Vladimirsky The PDE approach for approximating invariant manifolds July 9 5h40m - 6h25m Ulmer Discussion of a parametrized first order linear system of Lame type (*) Semi-plenary speaker