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