Date | Speaker | Title |
24.10.22 | Johan Commelin | Introduction and Organization |
31.10.22 | Charlotte Bartnick | O-minimality I: crash course on logic |
07.11.22 | Francesco Gallinaro | O-minimality II: examples |
14.11.22 | Annette Huber | O-minimality III: cell decomposition |
21.11.22 | Christoph Brackenhofer | Pila–Wilkie I: overview and structure of proof |
28.11.22 | Francesco Gallinaro | Pila–Wilkie II: parametrization theorem |
05.12.22 | FG and RB | Remainder of preceding talk, start of the next |
19.12.22 | Reid Barton | Pila–Wilkie III: diophantine approximation |
16.01.23 | Amador Martin-Pizarro | Pila–Wilkie IV: end of proof, refinements |
23.01.23 | Amador Martin-Pizarro | Applications I: Manin–Mumford for tori |
30.01.23 | Johan Commelin | Applications II: Manin–Mumford for abelian varieties |