Description 

School and Conference on Computational Methods in Dynamics  (smr 2247)
Go to day


08:30  10:00
REGISTRATION & ADMINISTRATIVE FORMALITIES
Location: Leonardo da Vinci Building, Lobby  08:30 REGISTRATION & ADMINISTRATIVE FORMALITIES 1h30'

10:00  10:20
Opening remarks

10:00
Opening remarks
20'
Speaker: S. Luzzatto (ICTP, Italy)

10:00
Opening remarks
20'

10:20  12:10
Computing Dynamical Systems: examples

10:20
Computing Dynamical Systems: examples
1h50'
Speaker: J. Guckenheimer (Cornell University, Ithaca NY, USA) Material: abstract lecture notes

10:20
Computing Dynamical Systems: examples
1h50'

12:10  14:00
Lunch break
 12:10 Lunch break 1h50'

14:00  14:50
Computer Lab

14:00
Computer Lab
50'
Speaker: J. Guckenheimer (Cornell University, Ithaca NY, USA) Material: Exercise

14:00
Computer Lab
50'

14:50  15:00
Break
 14:50 Break 10'

15:00  17:00
Validated numerics  a short introduction to rigorous computations

15:00
Validated numerics  a short introduction to rigorous computations
2h0'
Speaker: W. Tucker/T. Johnson (Uppsala University/Cornell University) Material: abstract lecture notes

15:00
Validated numerics  a short introduction to rigorous computations
2h0'

17:00  17:10
Break
 17:00 Break 10'

17:10  18:00
Computer Lab

17:10
Computer Lab
50'
Speaker: W. Tucker/T. Johnson (Uppsala University/Cornell University) Material: Handouts

17:10
Computer Lab
50'

08:30  10:00
REGISTRATION & ADMINISTRATIVE FORMALITIES


09:00  10:50
Computing Dynamical Systems: examples

09:00
Computing Dynamical Systems: examples
1h50'
Speaker: J. Guckenheimer (Cornell University, Ithaca NY, USA)

09:00
Computing Dynamical Systems: examples
1h50'

10:50  11:00
Break
 10:50 Break 10'

11:00  12:00
Computer Lab

11:00
Computer Lab
1h0'
Speaker: J. Guckenheimer (Cornell University, Ithaca NY, USA)

11:00
Computer Lab
1h0'

12:00  14:00
Lunch break
 12:00 Lunch break 2h0'

14:00  15:50
Validated numerics  a short introduction to rigorous computations

14:00
Validated numerics  a short introduction to rigorous computations
1h50'
Speaker: W. Tucker/T. Johnson (Uppsala University/Cornell University)

14:00
Validated numerics  a short introduction to rigorous computations
1h50'

15:50  16:00
Break
 15:50 Break 10'

16:00  17:00
Computer Lab

16:00
Computer Lab
1h0'
Speaker: W. Tucker/T. Johnson (Uppsala University/Cornell University)

16:00
Computer Lab
1h0'

09:00  10:50
Computing Dynamical Systems: examples


09:00  10:50
Computing Dynamical Systems: examples

09:00
Computing Dynamical Systems: examples
1h50'
Speaker: J. Guckenheimer (Cornell University, Ithaca NY, USA)

09:00
Computing Dynamical Systems: examples
1h50'

10:50  11:00
Break
 10:50 Break 10'

11:00  12:00
Computer Lab

11:00
Computer Lab
1h0'
Speaker: J. Guckenheimer (Cornell University, Ithaca NY, USA)

11:00
Computer Lab
1h0'

12:00  14:00
Lunch break
 12:00 Lunch break 2h0'

14:00  22:00
Excursion to Cividale del Fruili followed by social dinner at "Ristorante Carso"
 14:00 Excursion to Cividale del Fruili followed by social dinner at "Ristorante Carso" 8h0'

09:00  10:50
Computing Dynamical Systems: examples


09:00  10:50
Computing Dynamical Systems: examples

09:00
Computing Dynamical Systems: examples
1h50'
Speaker: J.Guckenheimer (Cornell University, Ithaca NY, USA)

09:00
Computing Dynamical Systems: examples
1h50'

10:50  11:00
Break
 10:50 Break 10'

11:00  12:00
Computer Lab

11:00
Computer Lab
1h0'
Speaker: J.Guckenheimer (Cornell University, Ithaca NY, USA)

11:00
Computer Lab
1h0'

12:00  14:00
Lunch break
 12:00 Lunch break 2h0'

14:00  15:50
Validated numerics  a short introduction to rigorous computations

14:00
Validated numerics  a short introduction to rigorous computations
1h50'
Speaker: W.Tucker/T. Johnson (Uppsala University/Cornell University)

14:00
Validated numerics  a short introduction to rigorous computations
1h50'

15:50  16:00
Break
 15:50 Break 10'

16:00  17:00
Computer Lab

16:00
Computer Lab
1h0'
Speaker: W.Tucker/T. Johnson (Uppsala University/Cornell University)

16:00
Computer Lab
1h0'

09:00  10:50
Computing Dynamical Systems: examples


09:00  10:50
Computing Dynamical Systems: examples

09:00
Computing Dynamical Systems: examples
1h50'
Speaker: J.Guckenheimer (Cornell University, Ithaca NY, USA)

09:00
Computing Dynamical Systems: examples
1h50'

10:50  11:00
Break
 10:50 Break 10'

11:00  12:00
Computer Lab

11:00
Computer Lab
1h0'
Speaker: J.Guckenheimer (Cornell University, Ithaca NY, USA)

11:00
Computer Lab
1h0'

12:00  14:00
Lunch break
 12:00 Lunch break 2h0'

14:00  15:50
Validated numerics  a short introduction to rigorous computations

14:00
Validated numerics  a short introduction to rigorous computations
1h50'
Speaker: W.Tucker/T. Johnson (Uppsala University/Cornell University)

14:00
Validated numerics  a short introduction to rigorous computations
1h50'

15:50  16:00
Break
 15:50 Break 10'

16:00  17:00
Computer Lab

16:00
Computer Lab
1h0'
Speaker: W.Tucker/T. Johnson (Uppsala University/Cornell University)

16:00
Computer Lab
1h0'

09:00  10:50
Computing Dynamical Systems: examples


09:10  11:00
Validated numerics  a short introduction to rigorous computations
Location: Adriatico Guest House Kastler Lecture Hall 
09:10
Validated numerics  a short introduction to rigorous computations
1h50'
Speaker: W.Tucker/T. Johnson (Uppsala University/Cornell University)

09:10
Validated numerics  a short introduction to rigorous computations
1h50'

11:00  11:10
Break
Location: Adriatico Guest House Kastler Lecture Hall  11:00 Break 10'

11:10  12:00
Methods to compute invariant objects and different indicators in dynamical systems
Location: Adriatico Guest House Kastler Lecture Hall 
11:10
Methods to compute invariant objects and different indicators in dynamical systems
50'
Speaker: C. Simo (Universidad de Barcelona. Barcelona Spain) Material: abstract lecture notes

11:10
Methods to compute invariant objects and different indicators in dynamical systems
50'

12:00  14:00
Lunch break
Location: Adriatico Guest House Kastler Lecture Hall  12:00 Lunch break 2h0'

14:00  15:30
Methods to compute invariant objects and different indicators in dynamical systems
Location: Adriatico Guest House Kastler Lecture Hall 
14:00
Methods to compute invariant objects and different indicators in dynamical systems
1h30'
Speaker: C. Simo (Universidad de Barcelona. Barcelona Spain)

14:00
Methods to compute invariant objects and different indicators in dynamical systems
1h30'

15:30  16:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  15:30 Break 30'

16:00  17:30
Computer Lab
Location: Adriatico Guest House Kastler Lecture Hall 
16:00
Computer Lab
1h30'

16:00
Computer Lab
1h30'

09:10  11:00
Validated numerics  a short introduction to rigorous computations


09:10  10:10
Validated numerics  a short introduction to rigorous computations
Location: Adriatico Guest House Kastler Lecture Hall 
09:10
Validated numerics  a short introduction to rigorous computations
1h0'
Speaker: W.Tucker/T. Johnson (Uppsala University/Cornell University)

09:10
Validated numerics  a short introduction to rigorous computations
1h0'

10:10  10:20
Break
Location: Adriatico Guest House Kastler Lecture Hall  10:10 Break 10'

10:20  11:10
Methods to compute invariant objects and different indicators in dynamical systems
Location: Adriatico Guest House Kastler Lecture Hall 
10:20
Methods to compute invariant objects and different indicators in dynamical systems
50'
Speaker: C. Simo (Universidad de Barcelona. Barcelona Spain)

10:20
Methods to compute invariant objects and different indicators in dynamical systems
50'

11:10  13:10
Lunch break
Location: Adriatico Guest House Kastler Lecture Hall  11:10 Lunch break 2h0'

13:10  14:40
Methods to compute invariant objects and different indicators in dynamical systems
Location: Adriatico Guest House Kastler Lecture Hall 
13:10
Methods to compute invariant objects and different indicators in dynamical systems
1h30'
Speaker: C. Simo (Universidad de Barcelona. Barcelona Spain)

13:10
Methods to compute invariant objects and different indicators in dynamical systems
1h30'

14:40  15:10
Break
Location: Adriatico Guest House Kastler Lecture Hall  14:40 Break 30'

15:10  16:40
Computer Lab
Location: Adriatico Guest House Kastler Lecture Hall 
15:10
Computer Lab
1h30'

15:10
Computer Lab
1h30'

09:10  10:10
Validated numerics  a short introduction to rigorous computations


09:10  11:00
Methods to compute invariant objects and different indicators in dynamical systems
Location: Adriatico Guest House Kastler Lecture Hall 
09:10
Methods to compute invariant objects and different indicators in dynamical systems
1h50'
Speaker: C. Simo (Universidad de Barcelona. Barcelona Spain)

09:10
Methods to compute invariant objects and different indicators in dynamical systems
1h50'

11:00  11:10
Break
Location: Adriatico Guest House Kastler Lecture Hall  11:00 Break 10'

11:10  12:00
Methods to compute invariant objects and different indicators in dynamical systems
Location: Adriatico Guest House Kastler Lecture Hall 
11:10
Methods to compute invariant objects and different indicators in dynamical systems
50'
Speaker: C. Simo (Universidad de Barcelona. Barcelona Spain)

11:10
Methods to compute invariant objects and different indicators in dynamical systems
50'

12:00  12:00
FREE AFTERNOON
Location: Adriatico Guest House Kastler Lecture Hall 
12:00
FREE AFTERNOON

12:00
FREE AFTERNOON

09:10  11:00
Methods to compute invariant objects and different indicators in dynamical systems


09:10  11:00
Validated numerics  a short introduction to rigorous computations
Location: Adriatico Guest House Kastler Lecture Hall 
09:10
Validated numerics  a short introduction to rigorous computations
1h50'
Speaker: W.Tucker/T. Johnson (Uppsala University/Cornell University)

09:10
Validated numerics  a short introduction to rigorous computations
1h50'

11:00  11:10
Break
Location: Adriatico Guest House Kastler Lecture Hall  11:00 Break 10'

11:10  12:00
Methods to compute invariant objects and different indicators in dynamical systems
Location: Adriatico Guest House Kastler Lecture Hall 
11:10
Methods to compute invariant objects and different indicators in dynamical systems
50'
Speaker: C. Simo (Universidad de Barcelona, Barcelona, Spain)

11:10
Methods to compute invariant objects and different indicators in dynamical systems
50'

12:00  14:00
Lunch break
Location: Adriatico Guest House Kastler Lecture Hall  12:00 Lunch break 2h0'

14:00  15:30
Methods to compute invariant objects and different indicators in dynamical systems
Location: Adriatico Guest House Kastler Lecture Hall 
14:00
Methods to compute invariant objects and different indicators in dynamical systems
1h30'
Speaker: C. Simo (Universidad de Barcelona, Barcelona, Spain)

14:00
Methods to compute invariant objects and different indicators in dynamical systems
1h30'

15:30  16:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  15:30 Break 30'

16:00  17:30
Computer Lab
Location: Adriatico Guest House Kastler Lecture Hall 
16:00
Computer Lab
1h30'

16:00
Computer Lab
1h30'

09:10  11:00
Validated numerics  a short introduction to rigorous computations


09:10  11:00
Validated numerics  a short introduction to rigorous computations
Location: Adriatico Guest House Kastler Lecture Hall 
09:10
Validated numerics  a short introduction to rigorous computations
1h50'
Speaker: W.Tucker/T. Johnson (Uppsala University/Cornell University)

09:10
Validated numerics  a short introduction to rigorous computations
1h50'

11:00  11:10
Break
Location: Adriatico Guest House Kastler Lecture Hall  11:00 Break 10'

11:10  12:00
Methods to compute invariant objects and different indicators in dynamical systems
Location: Adriatico Guest House Kastler Lecture Hall 
11:10
Methods to compute invariant objects and different indicators in dynamical systems
50'
Speaker: C. Simo (Universidad de Barcelona, Barcelona, Spain)

11:10
Methods to compute invariant objects and different indicators in dynamical systems
50'

12:00  14:00
Lunch break
Location: Adriatico Guest House Kastler Lecture Hall  12:00 Lunch break 2h0'

14:00  15:30
Methods to compute invariant objects and different indicators in dynamical systems
Location: Adriatico Guest House Kastler Lecture Hall 
14:00
Methods to compute invariant objects and different indicators in dynamical systems
1h30'
Speaker: C. Simo (Universidad de Barcelona, Barcelona, Spain)

14:00
Methods to compute invariant objects and different indicators in dynamical systems
1h30'

15:30  16:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  15:30 Break 30'

16:00  17:30
Computer Lab
Location: Adriatico Guest House Kastler Lecture Hall 
16:00
Computer Lab
1h30'

16:00
Computer Lab
1h30'

09:10  11:00
Validated numerics  a short introduction to rigorous computations


08:30  09:00
REGISTRATION OF THE SPEAKERS
Location: Adriatico Guest House  Kastler Lecture Hall Area (Lower Level 1)  08:30 REGISTRATION OF THE SPEAKERS 30'

09:00  09:45
Earliest Computations in Dynamics  Kepler, Newton, Euler
Location: Adriatico Guest House Kastler Lecture Hall 
09:00
Earliest Computations in Dynamics  Kepler, Newton, Euler
45'
Speaker: Gerhard Wanner (Université de Genève, Genève, Switzerland)

09:00
Earliest Computations in Dynamics  Kepler, Newton, Euler
45'

09:45  10:30
Computerassisted methods in dynamical systems and PDEs
Location: Adriatico Guest House Kastler Lecture Hall 
09:45
Computerassisted methods in dynamical systems and PDEs
45'
Speaker: Hans Koch (University of Texas at Austin, United States of America)

09:45
Computerassisted methods in dynamical systems and PDEs
45'

10:30  11:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  10:30 Break 30'

11:00  11:45
Travelling Waves and Slow Manifolds of SaddleType
Location: Adriatico Guest House Kastler Lecture Hall 
11:00
Travelling Waves and Slow Manifolds of SaddleType
45'
Speaker: Christian Kuehn (Cornell University, Ithaca NY, United States of America)

11:00
Travelling Waves and Slow Manifolds of SaddleType
45'

11:45  14:00
Lunch break
Location: Adriatico Guest House Kastler Lecture Hall  11:45 Lunch break 2h15'

14:00  14:45
Monodromy computation and its application to bifurcation analysis
Location: Adriatico Guest House Kastler Lecture Hall 
14:00
Monodromy computation and its application to bifurcation analysis
45'
Speaker: Zin Arai (Japan Science and Technology Agency, Japan)

14:00
Monodromy computation and its application to bifurcation analysis
45'

14:45  15:30
Computation of normal form coefficients of codimension 2 bifurcations of limit cycles
Location: Adriatico Guest House Kastler Lecture Hall 
14:45
Computation of normal form coefficients of codimension 2 bifurcations of limit cycles
45'
Speaker: Willy Govaerts (Ghent University, Belgium)

14:45
Computation of normal form coefficients of codimension 2 bifurcations of limit cycles
45'

15:30  16:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  15:30 Break 30'

16:00  16:45
Uniformly hyperbolic attractor of the SmaleWilliams type for a Poincaré map in the Kuznetsov system
Location: Adriatico Guest House Kastler Lecture Hall 
16:00
Uniformly hyperbolic attractor of the SmaleWilliams type for a Poincaré map in the Kuznetsov system
45'
Speaker: Daniel Wilczak (Jagiellonian University, Krakow,Poland)

16:00
Uniformly hyperbolic attractor of the SmaleWilliams type for a Poincaré map in the Kuznetsov system
45'

16:45  17:30
On rigorous integration of piecewise linear systems
Location: Adriatico Guest House Kastler Lecture Hall 
16:45
On rigorous integration of piecewise linear systems
45'
Speaker: Zbigniew Galias (AGH University of Science and Technology, Kraków, Poland) Material: lecture notes

16:45
On rigorous integration of piecewise linear systems
45'

17:30  18:15
Holder shadowing on finite intervals
Location: Adriatico Guest House Kastler Lecture Hall 
17:30
Holder shadowing on finite intervals
45'
Speaker: Sergey Tikhomirov (Free University of Berlin, Berlin, Germany)

17:30
Holder shadowing on finite intervals
45'

08:30  09:00
REGISTRATION OF THE SPEAKERS


09:00  09:45
Kolmogorov's normal form for equations of motion with some peculiar dissipative effects
Location: Adriatico Guest House Kastler Lecture Hall 
09:00
Kolmogorov's normal form for equations of motion with some peculiar dissipative effects
45'
Speaker: Ugo Locatelli (Università degli Studi di Roma "Tor Vergata", Roma, Italy)

09:00
Kolmogorov's normal form for equations of motion with some peculiar dissipative effects
45'

09:45  10:30
Parametersweeping techniques for studying complex systems: numerical and rigorous results
Location: Adriatico Guest House Kastler Lecture Hall 
09:45
Parametersweeping techniques for studying complex systems: numerical and rigorous results
45'
Speaker: Roberto Barrio (Universidad de Zaragoza, Zaragoza, Spain)

09:45
Parametersweeping techniques for studying complex systems: numerical and rigorous results
45'

10:30  11:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  10:30 Break 30'

11:00  11:45
Is the Outer Solar System Chaotic?
Location: Adriatico Guest House Kastler Lecture Hall 
11:00
Is the Outer Solar System Chaotic?
45'
Speaker: Wayne Hayes (Imperial College, London, UK)

11:00
Is the Outer Solar System Chaotic?
45'

11:45  14:00
Lunch break
Location: Adriatico Guest House Kastler Lecture Hall  11:45 Lunch break 2h15'

14:00  14:45
Highprecision computations of asymptotic series and homoclinic phenomena
Location: Adriatico Guest House Kastler Lecture Hall 
14:00
Highprecision computations of asymptotic series and homoclinic phenomena
45'
Speaker: Vassili Gelfreich (University of Warwick, Coventry, UK)

14:00
Highprecision computations of asymptotic series and homoclinic phenomena
45'

14:45  15:30
Abundance of stable periodic orbits inside homoclinic lobes
Location: Adriatico Guest House Kastler Lecture Hall 
14:45
Abundance of stable periodic orbits inside homoclinic lobes
45'
Speaker: Arturo Vieiro (Universitat de Barcelona, Barcelona, Spain)

14:45
Abundance of stable periodic orbits inside homoclinic lobes
45'

15:30  16:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  15:30 Break 30'

16:00  16:45
Period doubling in areapreserving maps I: Lack of elliptic islands
Location: Adriatico Guest House Kastler Lecture Hall 
16:00
Period doubling in areapreserving maps I: Lack of elliptic islands
45'
Speaker: Tomas Johnson (Cornell University, Ithaca, United States of America)

16:00
Period doubling in areapreserving maps I: Lack of elliptic islands
45'

16:45  17:30
Period doubling for area preserving maps II: Rigidity
Location: Adriatico Guest House Kastler Lecture Hall 
16:45
Period doubling for area preserving maps II: Rigidity
45'
Speaker: Denis Gaidashev (University of Bergen, Bergen, Norway)

16:45
Period doubling for area preserving maps II: Rigidity
45'

17:30  18:15
Computation of bifurcations of periodic points related to homoclinic bifurcations.
Location: Adriatico Guest House Kastler Lecture Hall 
17:30
Computation of bifurcations of periodic points related to homoclinic bifurcations.
45'
Speaker: Joan Carles Tatjer (IMUB, Barcelona, Spain)

17:30
Computation of bifurcations of periodic points related to homoclinic bifurcations.
45'

19:30  22:00
Social Dinner at the "Principe di Metternich" in Grignano
(FOR SPEAKERS ONLY)
Location: Adriatico Guest House Kastler Lecture Hall  19:30 Social Dinner at the "Principe di Metternich" in Grignano (FOR SPEAKERS ONLY) 2h30'

09:00  09:45
Kolmogorov's normal form for equations of motion with some peculiar dissipative effects


09:45  10:30
Reliable computation of invariant tori (and beyond)
Location: Adriatico Guest House Kastler Lecture Hall 
09:45
Reliable computation of invariant tori (and beyond)
45'
Speaker: Alex Haro (Universitat de Barcelona, Barcelona, Spain)

09:45
Reliable computation of invariant tori (and beyond)
45'

10:30  11:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  10:30 Break 30'

11:00  11:45
Computer assisted proof of the KAM stability of the figure eight orbit in the Nbody problem
Location: Adriatico Guest House Kastler Lecture Hall 
11:00
Computer assisted proof of the KAM stability of the figure eight orbit in the Nbody problem
45'
Speaker: Tomasz Kapela (Jagiellonian University, Kraków, Poland)

11:00
Computer assisted proof of the KAM stability of the figure eight orbit in the Nbody problem
45'

11:45  14:00
Lunch break
Location: Adriatico Guest House Kastler Lecture Hall  11:45 Lunch break 2h15'

14:00  14:45
Verified integration of flows for large ranges of initial conditions and parameters and applications to computer assisted proofs in the Lorenz system
Location: Adriatico Guest House Kastler Lecture Hall 
14:00
Verified integration of flows for large ranges of initial conditions and parameters and applications to computer assisted proofs in the Lorenz system
45'
Speaker: Martin Berz (Michigan State University, East Lansing MI, United States of America)

14:00
Verified integration of flows for large ranges of initial conditions and parameters and applications to computer assisted proofs in the Lorenz system
45'

14:45  15:30
Attraction domain of a nonlinear system using interval analysis and Lyapunov Theory
Location: Adriatico Guest House Kastler Lecture Hall 
14:45
Attraction domain of a nonlinear system using interval analysis and Lyapunov Theory
45'
Speaker: Nicolas Delanoue (Université d'Angers, Angers, France)

14:45
Attraction domain of a nonlinear system using interval analysis and Lyapunov Theory
45'

15:30  16:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  15:30 Break 30'

16:00  16:45
Dynamics of the area preserving Henon map at 3:1 resonance
Location: Adriatico Guest House Kastler Lecture Hall 
16:00
Dynamics of the area preserving Henon map at 3:1 resonance
45'
Speaker: Piotr Zgliczynski (Jagiellonian University, Kraków, Poland)

16:00
Dynamics of the area preserving Henon map at 3:1 resonance
45'

16:45  17:30
Estimating long term behavior of flows without trajectory integration: the infinitesimal generator approach
Location: Adriatico Guest House Kastler Lecture Hall 
16:45
Estimating long term behavior of flows without trajectory integration: the infinitesimal generator approach
45'
Speaker: Oliver Junge (Technische Universitaet Muenchen, Muenchen, Germany)

16:45
Estimating long term behavior of flows without trajectory integration: the infinitesimal generator approach
45'

17:30  18:15
Geometric Evolutionary Dynamics of Protein Interaction Networks
Location: Adriatico Guest House Kastler Lecture Hall 
17:30
Geometric Evolutionary Dynamics of Protein Interaction Networks
45'
Speaker: Natasa Przulj (Imperial College London, London, UK)

17:30
Geometric Evolutionary Dynamics of Protein Interaction Networks
45'

09:45  10:30
Reliable computation of invariant tori (and beyond)


09:00  09:45
Graph based topological computation for global analysis of dynamical systems
Location: Adriatico Guest House Kastler Lecture Hall 
09:00
Graph based topological computation for global analysis of dynamical systems
45'
Speaker: Hiroshi Kokubu (Kyoto University, Kyoto, Japan)

09:00
Graph based topological computation for global analysis of dynamical systems
45'

09:45  10:30
Numerical shadowing trajectories in nonlinear dynamics
Location: Adriatico Guest House Kastler Lecture Hall 
09:45
Numerical shadowing trajectories in nonlinear dynamics
45'
Speaker: Tim Sauer (George Mason University, Fairfax VA, United States of America)

09:45
Numerical shadowing trajectories in nonlinear dynamics
45'

10:30  11:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  10:30 Break 30'

11:00  11:45
Computability of Thurston equivalence of branched coverings
Location: Adriatico Guest House Kastler Lecture Hall 
11:00
Computability of Thurston equivalence of branched coverings
45'
Speaker: Michael Yampolsky (University of Toronto, Ontario Toronto, Canada)

11:00
Computability of Thurston equivalence of branched coverings
45'

11:45  14:00
Lunch break
Location: Adriatico Guest House Kastler Lecture Hall  11:45 Lunch break 2h15'

14:00  14:45
The role of global manifolds in the transition to chaos in the Lorenz system
Location: Adriatico Guest House Kastler Lecture Hall 
14:00
The role of global manifolds in the transition to chaos in the Lorenz system
45'
Speaker: Bernd Krauskopf (University of Bristol, Bristol, UK)

14:00
The role of global manifolds in the transition to chaos in the Lorenz system
45'

14:45  15:30
A boundary value approach to computing slow manifolds and canard orbits
Location: Adriatico Guest House Kastler Lecture Hall 
14:45
A boundary value approach to computing slow manifolds and canard orbits
45'
Speaker: Hinke Osinga (University of Bristol, Bristol, UK)

14:45
A boundary value approach to computing slow manifolds and canard orbits
45'

15:30  16:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  15:30 Break 30'

16:00  16:45
Finite Resolution Dynamics
Location: Adriatico Guest House Kastler Lecture Hall 
16:00
Finite Resolution Dynamics
45'
Speaker: Stefano Luzzatto (ICTP, Trieste, Italy)

16:00
Finite Resolution Dynamics
45'

16:45  17:30
General Techniques for Constructing Variational Integrators
Location: Adriatico Guest House Kastler Lecture Hall 
16:45
General Techniques for Constructing Variational Integrators
45'
Speaker: Melvin Leok (University of California at San Diego, La Jolla CA, United States of America)

16:45
General Techniques for Constructing Variational Integrators
45'

17:30  18:15
Remarks on KAM theory
Location: Adriatico Guest House Kastler Lecture Hall 
17:30
Remarks on KAM theory
45'
Speaker: Jacques Fejoz (Observatoire de Paris, IMCCE, Paris, France)

17:30
Remarks on KAM theory
45'

09:00  09:45
Graph based topological computation for global analysis of dynamical systems


09:00  09:45
Existence of instabilities in the elliptic RTBP  Numerical investigations
Location: Adriatico Guest House Kastler Lecture Hall 
09:00
Existence of instabilities in the elliptic RTBP  Numerical investigations
45'
Speaker: Pablo Roldán (Universitat Politecnica de Catalunya, Barcelona, Spain)

09:00
Existence of instabilities in the elliptic RTBP  Numerical investigations
45'

09:45  10:30
Geometric and probabilistic descriptions of chaotic phase space transport
Location: Adriatico Guest House Kastler Lecture Hall 
09:45
Geometric and probabilistic descriptions of chaotic phase space transport
45'
Speaker: Shane Ross (Virginia Tech and State University, Blacksburg VA, United States of America)

09:45
Geometric and probabilistic descriptions of chaotic phase space transport
45'

10:30  11:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  10:30 Break 30'

11:00  11:45
Computer Assisted Proof for Invariant Manifolds in the Restricted Three Body Problem
Location: Adriatico Guest House Kastler Lecture Hall 
11:00
Computer Assisted Proof for Invariant Manifolds in the Restricted Three Body Problem
45'
Speaker: Maciej Capinski (AGH University of Science and Technology, Kraków, Poland)

11:00
Computer Assisted Proof for Invariant Manifolds in the Restricted Three Body Problem
45'

11:45  14:00
Lunch break
Location: Adriatico Guest House Kastler Lecture Hall  11:45 Lunch break 2h15'

14:00  14:45
Azimuthal waves, their stability and connecting orbits in thermal convection in rotating spherical shells
Location: Adriatico Guest House Kastler Lecture Hall 
14:00
Azimuthal waves, their stability and connecting orbits in thermal convection in rotating spherical shells
45'
Speaker: Juan Sánchez Umbría (Universitat Politecnica de Catalunya, Barcelona, Spain)

14:00
Azimuthal waves, their stability and connecting orbits in thermal convection in rotating spherical shells
45'

14:45  15:30
The dynamics of a loworder model for the Atlantic Multidecadal Oscillation
Location: Adriatico Guest House Kastler Lecture Hall 
14:45
The dynamics of a loworder model for the Atlantic Multidecadal Oscillation
45'
Speaker: Alef Sterk (University of Exeter, Exeter, UK)

14:45
The dynamics of a loworder model for the Atlantic Multidecadal Oscillation
45'

15:30  16:00
Break
Location: Adriatico Guest House Kastler Lecture Hall  15:30 Break 30'

16:00  16:45
Guiding Simulations and Experiments using Continuation
Location: Adriatico Guest House Kastler Lecture Hall 
16:00
Guiding Simulations and Experiments using Continuation
45'
Speaker: Frank Schilder (Technical University of Denmark, Lyngby, Denmark)

16:00
Guiding Simulations and Experiments using Continuation
45'

16:45  17:30
Numerical continuation of quasiperiodic bifurcations of invariant circles in lowdimensional systems
Location: Adriatico Guest House Kastler Lecture Hall 
16:45
Numerical continuation of quasiperiodic bifurcations of invariant circles in lowdimensional systems
45'
Speaker: Renato Vitolo (University of Exeter, Exeter, UK)

16:45
Numerical continuation of quasiperiodic bifurcations of invariant circles in lowdimensional systems
45'

09:00  09:45
Existence of instabilities in the elliptic RTBP  Numerical investigations