The symposium will have an instructional component, with three lecture series on each theme with two from a model theorist and two from outside.

• (A) Model theory and category theory (Prest/Neeman/Herzog),
• (B) Motivic integration (Scanlon/Kazhdan)
• (C) Number theoretic and algebraic geometric conjectures (Bertrand/Zilber)

Programme

All lectures take place in room CG93 (the Scarbrough lecture theatre) in the Department of Mathematical Sciences on the Science Site. Coffee and Tea are served in CM103. Meals are taken at Grey College.

Tuesday 21st July
09:00-09:55	M. Prest	A1: Model theory in categories
10:00-10:55	T.W. Scanlon	B1: Motivic integration
11:00	Coffee/Tea and laptop support
11:45-12:40	D. Bertrand	C1: Galois descent in Kummer theory and diophantine geometry.
13:00	Lunch
15:30	Coffee/Tea and laptop support
16:00-16:55	R. Moosa	Generalised Hasse varieties
19:00	Dinner
20:00	Wine Reception (after dinner) in the JCR, Grey College
Wednesday 22nd July
09:00-09:55	A. Neeman	A2: An introduction to well generated triangulated categories
10:00-10:55	T.W. Scanlon	B2: Motivic integration
11:00	Coffee/Tea and laptop support
11:45-12:40	D. Bertrand	C2: Galois descent in differential Galois theory and Schanuel problems
13:00	Lunch
15:30	Coffee/Tea and laptop support
16:00-16:55	M. Kim	Diophantine geometry and Galois theory
17:00-17:55	M. Hyland	Categorical Model Theory
19:00	Dinner
Thursday 23rd July
09:00-09:55	I. Herzog	A3: Homology of an Abelian Category
10:00-10:55	B. Zilber	C3: Intersections in semi-abelian varieties
11:00	Coffee/Tea
11:45-12:40	D. Kazhdan	B3: Motivic integration
13:00	Lunch
14:00	Conference Photograph after lunch outside Grey College main entrance
14:45	Durham Cathedral Tour (confirm your participation at registration)
19:00	Dinner
Friday 24th July
09:00-09:55	D. Kazhdan	B4: Motivic integration
10:00-10:55	A. Neeman	A4: A modern approach to dualizing complexes
11:00	Coffee/Tea
11:45-12:40	B. Zilber	C4: Intersections in semi-abelian varieties
13:00	Lunch
15:30	Coffee/Tea
16:00-16:55	C. Stroppel	Fusion algebras and quantum cohomology
17:00-17:55	D. Rossler	The Mordell conjecture for curves over function field in positive characteristic
19:00	Dinner
Saturday 25th July
09:00-09:55	A. Berarducci	Equivariant homotopy of definable groups
10:00-10:55	J. Rosicky	Facets of accessibility
11:00	Coffee/Tea
11:45-12:40	M. Makkai	Algebraic model theory for simplicial homotopy
13:00	Lunch
19:00	Dinner
Sunday 26th July
09:00	Day trip to to Robin Hood's Bay and Whitby (confirm your participation at registration)
13:00	Either packed lunch or lunch at Grey (confirm at registration)
19:00	Dinner
Monday 27th July
09:00-09:55	F. Loeser	Tameness in non-archimedean geometry
10:00-10:55	R. Cluckers	Approximation results in p-adic geometry
11:00	Coffee/Tea
11:45-12:40	P.H. Habegger	Intersecting varieties with algebraic subgroups
13:00	Lunch
15:30	Coffee/Tea
16:00-16:55	M. Morrow	Two-dimensional integration
17:00-17:55	P. Kowalski	Algebraic independence in positive characteristic
19:00	Dinner
20:00	Poster session with cheese and wine in the JCR, Grey College
Tuesday 28th July
09:00-09:55	T. Beke	Finitely additive measures on o-minimal sets
10:00-10:55	T. Leinster	"Size"
11:00	Coffee/Tea
11:45-12:40	I Moerdijk	Introduction to the theory of classifying toposes
13:00	Lunch
15:30	Coffee/Tea
16:00-16:55	J. Pila	Rational points of definable sets and diophantine problems
17:00-17:55	E. Hrushovski	Some examples of (de)categorification in model theory
19:00	Drinks in Grey JCR followed by the Conference Dinner
Wednesday 29th July
09:00-09:55	L. Lipshitz	Fields with analytic structure.
10:00-10:55	M. Hils	Generic Automorphisms in Green and Bad Fields
11:00	Coffee/Tea
11:45-12:40	A. Martin-Pizarro	Relative Geometric complexity and definable groups
13:00	Lunch
15:30	Coffee/Tea
16:00-16:55	J. Koenigsmann	Defining Z in Q
17:00-17:55	A. Macintyre	Revisiting the model theory of the adeles
19:00	Dinner
Thursday 30th July
Departure after breakfast