## Interactions of Model Theory

with Number Theory and Algebraic Geometry

### Program

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

Monday, June 11, 20129: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, 20129: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, 20129: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, 20129: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, 20129: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