Development of Computer-Assisted Proofs in Dynamical Systems

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
• Alvaro Fernandez MoraMonash University
• Olivier HénotNational Taiwan 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

Schedule

1. Day 1Wednesday 9 September

   1. 09:30–10:30 Konstantin Mischaikow
   2. 10:30–11:00 Break
   3. 11:00–12:00 Xuefeng Liu
   4. 12:00–14:00 Lunch
   5. 14:00–15:00 Jan Bouwe van den Berg
   6. 15:00–16:00 Keiichi Morikuni
   7. 16:00–16:30 Break
   8. 16:30–17:00 Kevin Constantineau

2. Day 2Thursday 10 September

   1. 10:00–11:30 Olivier Hénot Tutorial — RadiiPolynomial.jl
   2. 12:00–14:00 Lunch
   3. 14:00–15:00 Jonathan Jaquette
   4. 15:00–16:00 Alvaro Fernandez Mora
   5. TBC Workshop dinner

3. Day 3Friday 11 September

   1. 10:00–11:00 Kaname Matsue
   2. 11:00–11:30 Juan Miranda
   3. 12:00–14:00 Lunch
   4. 14:00–15:00 Hugo Chu
   5. 15:00–15:30 Hiroaki Miyauchi
   6. 15:30 Closing

Venue