Conference Program
Talk Abstracts
Koch Hans Non-Smooth Invariant Tori for Analytic Hamiltonians, and Computer-Assisted Proofs
Arai Zin Development and Applications of an Algorithm for Proving Structural Stability
Ashwin Peter Boundedness of orbits for cone exchange transformations
Barakat Mohamed Experiments with the package conley
Berz Martin Rigorous High-Order Enclosures of Manifolds, Homoclinic Points, and Symbolic Dynamics
Capinski Maciej Finding Normally Hyperbolic Invariant Manifolds Around L1 in the
Celletti Alessandra On the dynamics of nearly-integrable, dissipative systems
Ethier Marc Analysis of Singular Zones in Multidimensional Discrete Data
Ferrario DavideL Variational and topological properties of $n$-body minimizers
Frosini Patrizio Recent advances in multidimensional persistent topology
Galante Joseph Destruction of High Eccentricity Invariant Curves Through Comparison of Action
Galias Zbigniew Rigorous results on short periodic orbits for the Lorenz system
Gidea Marian A shadowing lemma for normally hyperbolic invariant manifolds and applications to the Arnold diffusion problem
Gierzkiewicz Anna Chaotic dynamics in isolating segments
Jaulin Luc speech_poznan_2009.pdf
Johnson Tomas Constructing planar vector fields with many limit cycles
Kosiorowski Grzegorz Detecting periodic orbits: guiding functions and periodic segments}
Kulczycki Marcin AASP - a new kind of average shadowing
Kulaga Tomasz C++ application for hyperbolicity verification
MaierPaape Stanislaus (Re-)definition of connection matrices
Makino Kyoko High-Order Verified Flow Integrators based on Taylor Models
MirelesJames Jason Computation of Heteroclinic Branched Manifolds by Parameterization.
Oprocha Piotr Chaos and semiconjugacy arguments.
Prokopenya Alexander On Stability of Equilibrium Solutions in the Restricted Many-Body Problems
Roldan Pablo Arnold's mechanism of diffusion in the spatial circular restricted three-body problem: a semi-numerical argument.
Sergeraert Francis Algorithms for Topological Invariants
Simo Carles Obstructions to integrability of Hamiltonian systems using high order variational equations
Trevino Rodrigo On Automated Computer-Assisted Proofs in Dynamical Systems
Tucker Warwick A rigorous lower bound for the stability regions of the quadratic map
Wilczynski Pawel Topological entropy for local processes
Zgliczynski Piotr Periodic orbits for Kuramoto-Sivashinski PDE