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 |