Model theory and applications

Organiser(s):

F. Loeser, B.Z. Moroz, A. Pillay, B.I. Zilber

Date:

Sun, 15/04/2012 - 08:30 - Fri, 15/06/2012 - 20:00

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/ [2].

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" [3]
10:40 a.m.	Coffee Break I
11:10 a.m.	Françoise Delon "Pairs of algebraically closed fields" [4]
12:20 p.m.	Lunch Break
2:50 p.m.	Martin Bays "Abelian integrals and categoricity" [5]
4:00 p.m.	Coffee Break II
4:30 p.m.	Alice Medvedev "Geometric stability theory methods in algebraic dynamics" [6]

Tuesday, June 12, 2012
9:30 a.m.	David Masser "Pell's Equation over Polynomial Rings" [7]
10:40 a.m.	Coffee Break I
11:10 a.m.	Martin Orr "Families of abelian varieties with many isogenous fibres" [8]
12:20 p.m.	Lunch Break
2:50 p.m.	Philipp Habegger "Non-Archimedean Approximations by Special Points" [9]
4:00 p.m.	Coffee Break II
4:30 p.m.	Jonathan Kirby "Axiomatizing exponentiation" [10]

Wednesday, June 13, 2012
9:30 a.m.	Antoine Ducros "Berkovich spaces, polytopes and model theory" [11]
10:40 a.m.	Coffee Break I
11:10 a.m.	Immanuel Halupczok "New transfer principles between Q_p and F_p(t)" [12]
12:20 p.m.	Lunch Break
2:50 p.m.	François Loeser "Non-archimedean Yomdin-Gromov lemma and applications to diophantine geometry" [13]
4:00 p.m.	Coffee Break II
4:30 p.m.	Margaret Thomas "Counting algebraic points on definable sets" [14]

Thursday, June 14, 2012
9:30 a.m.	Julia Gordon "Uniform in "p" bounds for orbital integrals" [15]
10:40 a.m.	Coffee Break I
11:10 a.m.	Piotr Kowalski "Unlikely formal intersections" [16]
12:20 p.m.	Lunch Break
2:50 p.m.	Tamara Servi "Quantifier Elimination and Rectilinearisation Theorem for quasi-analytic algebras" [17]
4:00 p.m.	Coffee Break II
4:30 p.m.	Georges Comte "Grothendieck Ring of Semialgebraic Formulas and Motivic Real Milnor Fibres" [18]

Friday, June 15, 2012
9:00 a.m.	Alexandru Buium "Differential modular forms: an overview" [19]
10:10 a.m.	Coffee Break
10:30 a.m.	Moshe Kamensky "Tannakian formalism over fields with operators" [20]
11:50 a.m.	Anand Pillay "Strict disintegratedness of generic Painleve equations" [21]
1:00 p.m.	End of Conference