About
This workshop brings together researchers working on rigorous, computer-assisted methods for the study of dynamical systems. Topics span validated numerics, and constructive proofs in finite- and infinite-dimensional dynamical systems.
Speakers
- Jan Bouwe van den BergVrije Universiteit Amsterdam
- Hugo ChuÉcole Polytechnique
- Kevin ConstantineauMcGill University
- Ryoki EndoNiigata University
- Alvaro Fernandez MoraMonash University
- Jonathan JaquetteNew Jersey Institute of Technology
- Xuefeng LiuTokyo Woman's Christian University
- Kaname MatsueKyushu University
- Juan MirandaFlorida Atlantic University
- Konstantin MischaikowRutgers University
- Keiichi MorikuniUniversity of Tsukuba
Venue
Research Institute for Mathematical Sciences (RIMS) · Room 111
Kyoto University
Kyoto 606-8502, Japan