An introduction to recent applications of model theory

Workshop theme

Supported by the European Commission, Sixth Framework Programme - Marie Curie Conferences and Training Courses - MSCF-CT-2003-503674

The workshop will consist of a series of tutorials together with some research talks on related topics. We also hope to have a few short invited talks from graduate students and beginning researchers which will be decided on closer to the workshop date. Tutorials will be given on the following themes: (I) Model theory of differential fields, difference fields, and compact complex spaces, (II) Zariski structures, analytic Zariski structures and complex analytic structures,(III) Model theory of valued fields, (IV) Model theory of metric structures, (V) Motivic integration, (VI) Hilbert's 10th problem and variations, (VII) Real analytic geometry and o-minimality.

Applications for this workshop are now closed

Timetable

Tuesday 29th March 2005
09:00 to 10:00	Registration	No Room Required
10:00 to 11:00	Angus Macintyre Introduction	Room 1
11:00 to 11:30	Coffee and posters	No Room Required
11:30 to 12:30	Stability, differential fields, and related structures	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
14:00 to 15:00	Elisabeth Bouscaren Stability, differential fields, and related structures	Room 1
15:00 to 15:30	Tea and posters	No Room Required
15:30 to 16:30	Dugald Macpherson University of Leeds Model theory of algebraically closed valued fields	Room 1
16:30 to 17:30	Dugald Macpherson University of Leeds Model theory of algebraically closed valued fields	Room 1
17:30 to 18:30	Wine Reception	No Room Required
18:45 to 19:30	Dinner at Wolfson Court (Residents only)	No Room Required

Wednesday 30th March 2005
09:00 to 10:00	Stability, differential fields, and related structures	Room 1
10:00 to 11:00	Elisabeth Bouscaren Stability, differential fields, and related structures	Room 1
11:00 to 11:30	Coffee and posters	No Room Required
11:30 to 12:30	Dugald Macpherson University of Leeds Model theory of algebraically closed valued fields	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
14:00 to 15:00	Dugald Macpherson University of Leeds Model theory of algebraically closed valued fields	Room 1
15:00 to 15:30	Tea and posters	Room 1
15:30 to 16:30	Jean-Benoit Bost Université Paris Saclay Some problems arising from the Diophantine study of algebraic foliations	Room 1
18:45 to 19:30	Dinner at Wolfson Court (Residents only)	No Room Required

Thursday 31st March 2005
09:00 to 10:00	Stability, differential fields, and related structures	Room 1
10:00 to 11:00	Dugald Macpherson University of Leeds Model theory of algebraically closed valued fields	Room 1
11:00 to 11:30	Coffee and posters	No Room Required
11:30 to 12:30	Thomas Scanlon University of California, Berkeley A local Andre-Oort conjecture via ACFA	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
14:00 to 15:00	Ivan Fesenko University of Nottingham Two dimensional arithmetic geometry and nonstandard mathematics	Room 1
15:00 to 15:30	Tea and posters	No Room Required
15:30 to 16:30	Damian Roessler On a theorem of Simpson	Room 1
18:45 to 19:30	Dinner at Wolfson Court (Residents only)	No Room Required

Friday 1st April 2005
09:00 to 10:00	Zariski-type structures	Room 1
10:00 to 11:00	Zariski-type structures	Room 1
11:00 to 11:30	Coffee and posters	No Room Required
11:30 to 12:30	C. Ward Henson INRIA and UIUC Model theory for metric structures	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
14:00 to 15:00	C. Ward Henson INRIA and UIUC Model theory for metric structures	Room 1
15:00 to 15:30	Tea and posters	No Room Required
15:30 to 16:30	Yosef Yomdin University of California, Irvine and Weizmann Institute of Science Closed trajectories of plane systems of ODE's, moments, iterated integrals, and compositions - with the stress on some "formal" aspects	Room 1
18:45 to 19:30	Dinner at Wolfson Court (Residents only)	No Room Required

Monday 4th April 2005
09:00 to 10:00	Zariski-type structures	Room 1
10:00 to 11:00	Zariski-type structures	Room 1
11:00 to 11:30	Coffee and posters	No Room Required
11:30 to 12:30	C. Ward Henson INRIA and UIUC Model theory for metric structures	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
14:00 to 15:00	C. Ward Henson INRIA and UIUC Model theory for metric structures	Room 1
15:00 to 15:30	Tea and posters	No Room Required
15:30 to 16:30	Yves Raynaud Ultrapowers and ultraroots in Banach spaces theory	Room 1
18:45 to 19:30	Dinner at Wolfson Court (Residents only)	No Room Required

Tuesday 5th April 2005
09:00 to 10:00	Zariski-type structures	Room 1
10:00 to 11:00	C. Ward Henson INRIA and UIUC Model theory for metric structures	Room 1
11:00 to 11:30	Coffee and posters	No Room Required
11:30 to 12:30	Francois Loeser Operations on constructible functions (I)	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
14:00 to 15:00	Francois Loeser Operations on constructible functions (II)	Room 1
15:00 to 15:30	Tea and posters	No Room Required
15:30 to 16:30	Jean-Marie Lion The theorem of the complement for nested sub-Pfaffian sets	Room 1
16:30 to 17:30	Yaacov Peterzil University of Haifa Nonstandard 1-dimensional tori are locally modular	Room 1
20:00 to 18:00	Conference Dinner at Magdalene College (Dining Hall)	No Room Required

Wednesday 6th April 2005
09:00 to 10:00	Frederic Campana Université Nancy 1 Isotriviality criteria for families of non-algebraic compact K\" ahler manifolds, and model-theoretic nonmultidimensionality of the class C.	Room 1
10:00 to 11:00	Athanasios Pheidas University of Cyprus Analogues of Hilbert's tenth problem	Room 1
11:00 to 11:30	Coffee and posters	No Room Required
11:30 to 12:30	Athanasios Pheidas University of Cyprus Analogues of Hilbert's tenth problem	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
14:00 to 15:00	Hilbert's tenth problem for function fields	Room 1
15:00 to 15:30	Tea and posters	No Room Required
15:30 to 16:30	Francois Loeser Operations on constructible functions (III)	Room 1
16:30 to 17:30	Raf Cluckers CNRS - Ecole Normale Superieure Paris Real integration of oscillating functions	Room 1
18:45 to 19:30	Dinner at Wolfson Court (Residents only)	No Room Required

Thursday 7th April 2005
09:00 to 09:30	Assaf Hasson University of Oxford Analytic Zariski geometries and the Hrushovski Collapse	Room 1
09:30 to 10:00	Silvia Barbina Reconstruction of homogeneous relational structures	Room 1
10:00 to 10:30	Remi Soufflet Arc-properties of functions definable in o-minimal structures	Room 1
10:30 to 11:00	Alex Usvyatsov The theory of a Hilbert space with a generic automorphism	Room 1
11:00 to 11:30	Coffee and posters	No Room Required
11:30 to 12:00	Timothy Mellor Universität Regensburg An Euler characteristic for real closed valued fields	Room 1
12:30 to 13:30	Lunch at Churchill College	Room 1
15:00 to 15:30	Tea and posters	Room 1
15:30 to 16:30	Zoe Chatzidakis Application of arc spaces to the model theory of fields with commuting derivations	Room 1
16:30 to 17:30	Ehud Hrushovski Hebrew University of Jerusalem Model theoretic topics in valued fields I	Room 1
18:45 to 19:30	Dinner at Wolfson Court (Residents only)	No Room Required

Friday 8th April 2005
09:00 to 10:00	Alex Wilkie University of Oxford On the quasi-minimality of certain expansions of the complex field	Room 1
10:00 to 10:30	Sonat Suer INRIA and UIUC Grothendieck-Katz conjecture for elliptic curves	Room 1
10:30 to 11:00	Jonathan Kirby University of Oxford Schanuel conditions for Weierstrass differential equations	Room 1
11:00 to 11:30	Coffee and posters	No Room Required
11:30 to 12:00	Dragos Ghioca University of California Mordell-Lang theorem for Drinfeld modules and minimal groups in the theory of separably closed fields	Room 1
12:00 to 12:30	Yoav Yaffe McMaster University Classes of (Lie) Differential Fields without Model Companions	Room 1
12:30 to 13:30	Lunch at Churchill College	No Room Required
14:00 to 15:00	Ehud Hrushovski Hebrew University of Jerusalem Model theoretic topics in valued fields II	Room 1
15:00 to 15:30	Tea and posters	No Room Required
15:30 to 16:30	Angus Macintyre Model theory of elliptic functions: model completeness, uniformity, decidability	Room 1
18:45 to 19:30	Dinner at Wolfson Court (Residents only)	No Room Required

Speakers

Silvia Barbina
Jean-Benoit Bost Université Paris Saclay
Elisabeth Bouscaren
Frederic Campana Université Nancy 1
Zoe Chatzidakis
Raf Cluckers CNRS - Ecole Normale Superieure Paris
Ivan Fesenko University of Nottingham
Dragos Ghioca University of California
Assaf Hasson University of Oxford
C. Ward Henson INRIA and UIUC
Ehud Hrushovski Hebrew University of Jerusalem
Jonathan Kirby University of Oxford
Jean-Marie Lion
Francois Loeser
Angus Macintyre
Dugald Macpherson University of Leeds
Timothy Mellor Universität Regensburg
Yaacov Peterzil University of Haifa
Athanasios Pheidas University of Cyprus
Yves Raynaud
Damian Roessler
Thomas Scanlon University of California, Berkeley
Remi Soufflet
Sonat Suer INRIA and UIUC
Alex Usvyatsov
Alex Wilkie University of Oxford
Yoav Yaffe McMaster University
Yosef Yomdin University of California, Irvine and Weizmann Institute of Science

Show All

An introduction to recent applications of model theory

Workshop theme

Applications for this workshop are now closed

Timetable

Speakers

Supported By

Register for updates