
Programme
Monday 25 March
 9h: Elisabeth Bouscaren, Introduction: Statement of the theorem,
link with
model theory
 10h45: JeanBenoît Bost, Introduction: geometric
versions of the main theorem
 16h: JeanBenoît Bost, Introduction: geometric
versions of the main theorem (ctd)
 17h15: Alice Medvedev, Very basic definitions in difference algebra
and geometry
Tuesday 26 March
 9h: JeanBenoît Bost, Introduction: difference schemes and the difference version of the main theorem
 10h45: Zoé Chatzidakis, More basic difference algebra
 16h: Piotr Kowalski, First upper bound lemma
 18h: Françoise Point, Control of multiplicities
 20h30: François Loeser, Applications
Wednesday 27 March
 9h: Immanuel Halupczok, Valued difference fields
 10h30: William Johnson, Analysability
 11h30: James Freitag, Coanalysability and inertial dimension
 Free afternoon
 20h30: Question session
Thursday 28 March
 9h: Tom Scanlon, Structure of the proof
 10h: Martin Hils, Key bound for transformal specialisations
 11h30: François Charles, Basics on intersection theory
 16h: François Charles, Moving lemma
 17h30: JeanBenoît Bost, Moving Lemma, the difference case
Friday 29 March
 9h: Damien Rössler, The smooth projective separable case
 11h30: Tom Scanlon,
Putting everything together
 14h: Tom Scanlon,
Putting everything together (ctd)

