Workshop on Computational Dynamics

Foundations of Computational Mathematics.

Hong Kong, China, June 16 - 26, 2008


General information

Worshop date and time: June 16-18, 2008

Location: City University, Hong Kong.

Organizers Konstantin Mischaikow, Rutgers, USA.

Carles Simo, Universitat de Barcelona, Spain.

Related links FoCM'2008 main page

FoCM main page


Preliminary Schedule (as of May 27, 2008)


June 16

13:50 - 14:10
T. Wanner
George Mason University
Topology-Guided Sampling of Complicated Random Patterns
14:15 - 14:35
Y. Hiraoka
Hiroshima University
Topological regularization of the triple collision in the 3-vortex problem
14:40 - 15:25
Y. Nishiura
Hokkaido University     CANCELLED
Global bifurcation and dynamics of localized moving patterns in heterogeneous media
15:30 - 16:00
Coffee


16:00 - 16:45
J. Sánchez
Univ. Politècnica Catalunya Computation of invariant manifolds in large-scale dissipative systems
16:50 - 17:10
L. van Veen
Concordia University The computation of 2D unstable manifolds in models of turbulent shear flow
17:15 - 17:35
M. Capiński
AGH University of Science and Technology
Cone conditions and covering relations for normally hyperbolic invariant manifolds
17:40 - 18:00
M. Yampolsky
University of Toronto    CANCELLED A survey of computability results for Julia Sets

June 17

13:50 - 14:10
J.-B. van den Berg
Vrije Universiteit Amsterdam
Chaotic braid solutions in the Swift-Hohenberg equations
14:15 - 14:35 S. Day
William and Mary University
Constructing symbolic dynamics representations via Conley index theory
14:40 - 15:25 W. Kalies
Florida Atlantic University
Building Databases for Global Dynamics of Multiparameter Systems
15:30 - 16:00 Coffee


16:00 - 16:45 Z. Arai
Kyoto University
Rigorous verification of the hyperbolicity of dynamical systems and its applications
16:50 - 17:10 H. Kokubu
Kyoto University
Bifurcations of Morse decompositions: A case study
17:15 - 17:35 R. Barrio
Universidad de Zaragoza
Bounding the chaotic region in three-dimensional systems: Lorenz and Rossler models
17:40 - 18:00 D. Wilczak
Uniwersytet Jagielloński Rigorous verification of cocoon bifurcations in the Michelson system

June 18

13:50 - 14:10 À. Jorba
Universitat de Barcelona
 Automatic generation of Taylor integrators for high order variational equations of ODEs
14:15 - 14:35 À. Haro
Universitat de Barcelona
Automatic Differentiation tools in computational Dynamical Systems
14:40 - 15:00
P. Zgliczyński
Uniwersytet Jagielloński C^1 computation for dissipative PDEs
15:05 - 15:25
T. Kapela
Uniwersytet Jagielloński Rigorous integration of differential inclusions
15:30 - 16:00 Coffee


16:00 - 16:45 M. Mrozek
Uniwersytet Jagielloński Rigorous numerics of dynamical systems with strong expansion
16:50 - 17:35
K. Makino
Michigan State University
Recent Advances in the Rigorous Integration of Flows of ODEs with Taylor Models
17:40 - 18:00
M. Berz
Michigan State University
Rigorous classification of manifold tangles and bounds for entropy