Location: Max-Planck-Institut für Mathematik, Vivatsgasse 7, 53111 Bonn

We hope that bringing together specialists in different areas of mathematics would boost interesting discussions and plan to organise a few seminars and mini-courses covering, in particular, the following topics:

basics of model theory, algebraic geometry and model theory, Zariski geometries, Diophantine geometry and model theory, complex geometry and model theory, open problems in number theory and arithmetic geometry.

**Those planning to attend include:**

- M. Bays
- J-B. Bost
- E. Bouscaren
- F. Campana
- J.F. Carmona
- Z. Chatzidakis
- Delon
- J. Denef
- J. Derakhshan
- Yu.L. Ershov
- I.B. Fesenko
- H. Göral
- P. Habegger
- M. Hils
- G. Jones
- M. Kesälä
- J. Kirby
- P. Kowalski
- F. Loeser
- A. MacIntyre
- D. Marker
- A. Martin-Pizarro
- A. Medvedev
- R. Moosa
- B.Z. Moroz
- M. Morrow
- J. Pila
- A. Pillay
- F. Pop
- P. Speissegger
- S. Starchenko
- K. Tent
- I. Tomasic
- A.D. Yafaev
- U. Zannier
- B.I. Zilber

Conference on **Interactions of model theory with number theory and algebraic geometry**

The program will culminate in a week long research conference on **"Interactions of model theory with number theory and algebraic geometry"**, June 11 - 15, organised by J-B. Bost, Z. Chatzidakis, and R. Moosa.

**The main conference web page can be found here: ****http://www.math.uwaterloo.ca/~imna/****.**

**Program:**

Talks will be one full hour in length with an additional ten minutes for questions.

Monday, June 11, 2012 | |

9:30 a.m. | Boris Zilber "On special sets and their geometry" |

10:40 a.m. | Coffee Break I |

11:10 a.m. | Françoise Delon "Pairs of algebraically closed fields" |

12:20 p.m. | Lunch Break |

2:50 p.m. | Martin Bays "Abelian integrals and categoricity" |

4:00 p.m. | Coffee Break II |

4:30 p.m. | Alice Medvedev "Geometric stability theory methods in algebraic dynamics" |

Tuesday, June 12, 2012 | |

9:30 a.m. | David Masser "Pell's Equation over Polynomial Rings" |

10:40 a.m. | Coffee Break I |

11:10 a.m. | Martin Orr "Families of abelian varieties with many isogenous fibres" |

12:20 p.m. | Lunch Break |

2:50 p.m. | Philipp Habegger "Non-Archimedean Approximations by Special Points" |

4:00 p.m. | Coffee Break II |

4:30 p.m. | Jonathan Kirby "Axiomatizing exponentiation" |

Wednesday, June 13, 2012 | |

9:30 a.m. | Antoine Ducros "Berkovich spaces, polytopes and model theory" |

10:40 a.m. | Coffee Break I |

11:10 a.m. | Immanuel Halupczok "New transfer principles between Q_p and F_p(t)" |

12:20 p.m. | Lunch Break |

2:50 p.m. | François Loeser "Non-archimedean Yomdin-Gromov lemma and applications to diophantine geometry" |

4:00 p.m. | Coffee Break II |

4:30 p.m. | Margaret Thomas "Counting algebraic points on definable sets" |

Thursday, June 14, 2012 | |

9:30 a.m. | Julia Gordon "Uniform in "p" bounds for orbital integrals" |

10:40 a.m. | Coffee Break I |

11:10 a.m. | Piotr Kowalski "Unlikely formal intersections" |

12:20 p.m. | Lunch Break |

2:50 p.m. | Tamara Servi "Quantifier Elimination and Rectilinearisation Theorem for quasi-analytic algebras" |

4:00 p.m. | Coffee Break II |

4:30 p.m. | Georges Comte "Grothendieck Ring of Semialgebraic Formulas and Motivic Real Milnor Fibres" |

Friday, June 15, 2012 | |

9:00 a.m. | Alexandru Buium "Differential modular forms: an overview" |

10:10 a.m. | Coffee Break |

10:30 a.m. | Moshe Kamensky "Tannakian formalism over fields with operators" |

11:50 a.m. | Anand Pillay "Strict disintegratedness of generic Painleve equations" |

1:00 p.m. | End of Conference |