Wednesday, 13 September 2017, Torre Archimede, Room 2BC60
09.30-10.20 | François Loeser | "Non-archimedean integrals as limits of complex integrals" |
10.30 | - Coffee break: meeting room on the 7th floor - | |
11.00-11.50 | Raf Cluckers | "Expansion minimality" |
12.00-12.50 | Eva Leenknegt | "Cell Decomposition for P-minimal structures: a story" |
13.00 | - Lunch: mensa Piovego - | |
14.00-14.50 | Philip Dittmann | "Uniformity in the Model Theory of Algebraic Fields" |
15.00-15.50 | Ayhan Günaydın | "Topological Study of Pairs of Algebraically Closed Fields" |
16.00 | - Coffee break: meeting room on the 7th floor - | |
16.30-17.20 | Olivier Benoist | "Algebraic curves on real algebraic varieties" |
Thursday, 14 September 2017, Torre Archimede, Room 2BC60
09.30-10.20 | Alex Wilkie | "A valuation inequality for complex structure" |
10.30 | - Coffee break: meeting room on the 7th floor - | |
11.00-11.50 | Boris Zilber | "Positive model theory and approximation by finite structures" |
12.00-12.50 | Martin Bays | "Definability in the infinitesimal subgroup of a simple compact Lie group" |
13.00 | - Lunch: mensa Piovego - | |
14.00-14.50 | Tobias Kaiser | "Asymptotics of parameterized exponential integrals given by Brownian motion on globally subanalytic sets" |
15.00-15.50 | Pablo Cubides | "Definables types and elimination of imaginaries in closed ordered differential fields" |
16.00 | - Coffee break: meeting room on the 7th floor - | |
16.30-17.20 | Françoise Point | "Topological large fields and their generic expansion to differential fields" |
17.30-18.20 | Paola D'Aquino | "Zero sets of exponential polynomials" |
20.00 | - Social dinner: ristorante Donna Irene - | |
Friday, 15 September 2017, Torre Archimede, Room 2BC60
09.30-10.20 | Alessandro Berarducci | "On the dimension of bounded hyperdefinable sets" |
10.30 | - Coffee break: meeting room on the 7th floor - | |
11.00-11.50 | Kobi Peterzil | "The topological closure of algebraic and o-minimal flows in complex tori" |
12.00-12.50 | Angus Macintyre | "Issues of definability and decidability concerning $\widehat{\mathbb{Z}}$ and the finite adeles over $\mathbb{Q}$" |
13.00 | - Lunch: mensa Piovego - |