Workshop Programme
for period 29 Mar-8 Apr
An Introduction to Recent Applications of Model Theory
29 Mar-8 Apr
Timetable
| Tuesday 29 March |
| 09:00-10.00 |
Registration |
MAA |
| 10:00-11.00 |
Macintyre, A (Queen Mary, London) |
MAA |
| |
Introduction | Sem 1 |
| 11:00-11.30 |
Coffee and posters |
MAA |
| 11:30-12.30 |
Pillay, A (Illinois) |
MAA |
| |
Stability, differential fields, and related structures | Sem 1 |
| 12:30-13.30 |
Lunch at Churchill College |
MAA |
| 14:00-15.00 |
Bouscaren, E (Paris) |
MAA |
| |
Stability, differential fields, and related structures | Sem 1 |
| 15:00-15.30 |
Tea and posters |
MAA |
| 15:30-16.30 |
Macpherson, D; Lippel, D (Leeds/McMaster) |
MAA |
| |
Model theory of algebraically closed valued fields | Sem 1 |
| 16:30-17.30 |
Macpherson, D; Lippel, D (Leeds/McMaster) |
MAA |
| |
Model theory of algebraically closed valued fields | Sem 1 |
| 17:30-18.30 |
Wine Reception |
MAA |
| 18:45-19.30 |
Dinner at Wolfson Court (Residents only) |
MAA |
| Wednesday 30 March |
| Session: An Introduction to Recent Applications of Model Theory |
| 09:00-10.00 |
Pillay, A (Illinois) |
MAA |
| |
Stability, differential fields, and related structures | Sem 1 |
| 10:00-11.00 |
Bouscaren, E (Paris) |
MAA |
| |
Stability, differential fields, and related structures | Sem 1 |
| 11:00-11.30 |
Coffee and posters |
MAA |
| 11:30-12.30 |
Macpherson, D; Lippel, D (Leeds/McMaster) |
MAA |
| |
Model theory of algebraically closed valued fields | Sem 1 |
| 12:30-13.30 |
Lunch at Churchill College |
MAA |
| 14:00-15.00 |
Macpherson, D; Lippel, D (Leeds/McMaster) |
MAA |
| |
Model theory of algebraically closed valued fields | Sem 1 |
| 15:00-15.30 |
Tea and posters |
MAA |
| 15:30-16.30 |
Bost, JB (Paris) |
MAA |
| |
Some problems arising from the Diophantine study of algebraic foliations | Sem 1 |
| 18:45-19.30 |
Dinner at Wolfson Court (Residents only) |
MAA |
| Friday 01 April |
| Session: An Introduction to Recent Applications of Model Theory |
| 09:00-10.00 |
Zilber, B (Oxford) |
MAA |
| |
Zariski-type structures | Sem 1 |
| 10:00-11.00 |
Zilber, B (Oxford) |
MAA |
| |
Zariski-type structures | Sem 1 |
| 11:00-11.30 |
Coffee and posters |
MAA |
| 11:30-12.30 |
Henson, CW; Berenstein, A (Illinois) |
MAA |
| |
Model theory for metric structures | Sem 1 |
| 12:30-13.30 |
Lunch at Churchill College |
MAA |
| 14:00-15.00 |
Henson, CW; Berenstein, A (Illinois) |
MAA |
| |
Model theory for metric structures | Sem 1 |
| 15:00-15.30 |
Tea and posters |
MAA |
| 15:30-16.30 |
Yomdin, J (Weizman) |
MAA |
| |
Closed trajectories of plane systems of ODE's, moments, iterated integrals, and compositions - with the stress on some "formal" aspects | Sem 1 |
| 18:45-19.30 |
Dinner at Wolfson Court (Residents only) |
MAA |
| Tuesday 05 April |
| Session: An Introduction to Recent Applications of Model Theory |
| 09:00-10.00 |
Zilber, B (Oxford) |
MAA |
| |
Zariski-type structures | Sem 1 |
| 10:00-11.00 |
Henson, CW; Berenstein, A (Illinois) |
MAA |
| |
Model theory for metric structures | Sem 1 |
| 11:00-11.30 |
Coffee and posters |
MAA |
| 11:30-12.30 |
Loeser, F (ENS, Paris) |
MAA |
| |
Operations on constructible functions (I) | Sem 1 |
| 12:30-13.30 |
Lunch at Churchill College |
MAA |
| 14:00-15.00 |
Loeser, F (ENS, Paris) |
MAA |
| |
Operations on constructible functions (II) | Sem 1 |
| 15:00-15.30 |
Tea and posters |
MAA |
| 15:30-16.30 |
Lion, J-M; Speissegger, P (Universite de Rennes 1/McMaster) |
MAA |
| |
The theorem of the complement for nested sub-Pfaffian sets | Sem 1 |
| 16:30-17.30 |
Peterzil, Y (Haifa) |
MAA |
| |
Nonstandard 1-dimensional tori are locally modular | Sem 1 |
| 20:00-18:00 |
Conference Dinner at Magdalene College (Dining Hall) |
MAA |
| Wednesday 06 April |
| Session: An Introduction to Recent Applications of Model Theory |
| 09:00-10.00 |
Campana, F (Nancy) |
MAA |
| |
Isotriviality criteria for families of non-algebraic compact K\" ahler manifolds, and model-theoretic nonmultidimensionality of the class C. | Sem 1 |
| 10:00-11.00 |
Pheidas, Th; Zahidi, K (Crete/Antwerpen) |
MAA |
| |
Analogues of Hilbert's tenth problem | Sem 1 |
| 11:00-11.30 |
Coffee and posters |
MAA |
| 11:30-12.30 |
Pheidas, Th; Zahidi, K (Crete/Antwerpen) |
MAA |
| |
Analogues of Hilbert's tenth problem | Sem 1 |
| 12:30-13.30 |
Lunch at Churchill College |
MAA |
| 14:00-15.00 |
Eisentrager, K (Michigan) |
MAA |
| |
Hilbert's tenth problem for function fields | Sem 1 |
| 15:00-15.30 |
Tea and posters |
MAA |
| 15:30-16.30 |
Loeser, F (ENS, Paris) |
MAA |
| |
Operations on constructible functions (III) | Sem 1 |
| 16:30-17.30 |
Cluckers, R (ENS, Paris) |
MAA |
| |
Real integration of oscillating functions | Sem 1 |
| 18:45-19.30 |
Dinner at Wolfson Court (Residents only) |
MAA |
| Friday 08 April |
| Session: An Introduction to Recent Applications of Model Theory |
| 09:00-10.00 |
Wilkie, A (Oxford) |
MAA |
| |
On the quasi-minimality of certain expansions of the complex field | Sem 1 |
| 10:00-10:30 |
Suer, S (UIUC) |
MAA |
| |
Grothendieck-Katz conjecture for elliptic curves | Sem 1 |
| 10:30-11:00 |
Kirby, J (Oxford) |
MAA |
| |
Schanuel conditions for Weierstrass differential equations | Sem 1 |
| 11:00-11.30 |
Coffee and posters |
MAA |
| 11:30-12:00 |
Ghioca, D (UC Berkeley) |
MAA |
| |
Mordell-Lang theorem for Drinfeld modules and minimal groups in the theory of separably closed fields | Sem 1 |
| 12:00-12:30 |
Yaffe, Y (McMaster) |
MAA |
| |
Classes of (Lie) Differential Fields without Model Companions | Sem 1 |
| 12:30-13:30 |
Lunch at Churchill College |
MAA |
| 14:00-15.00 |
Hrushovski, E (Hebrew) |
MAA |
| |
Model theoretic topics in valued fields II | Sem 1 |
| 15:00-15.30 |
Tea and posters |
MAA |
| 15:30-16.30 |
Macintyre, A (Queen Mary, London) |
MAA |
| |
Model theory of elliptic functions: model completeness, uniformity, decidability | Sem 1 |
| 18:45-19.30 |
Dinner at Wolfson Court (Residents only) |
MAA |
