HK   Friday July 12 - 13:45

Plenary Talk 10

---

13:45 - 14:45 - Jan Bouwe Van den Berg - Computer-assisted theorems in dynamics [Abstract]

---