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 |
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 |
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 |
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 |