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