Joint Model Theory Seminar of Leeds and Manchester

Program of the 9th meeting on May 25th, 2013 in Manchester

10.30-11.00: Arrival and coffee
11.00-12.00: Mohsen Khani (Manchester) On the first order theory of a dense pair and a discrete group
12.15-13.15: David Bradley-Williams (Leeds) Constructing limits of betweenness relations
13.30-15.15: Lunch
15.15-16.15: Nikesh Solanki (Manchester) The uniform companion of large differential field expansions in characteristic zero
16.30-17.30: Davide Penazzi (Leeds) Talking with integrable people
6pm Pub and Dinner

Venue Frank Adams room 1, Alan Turing building, University of Manchester.










Previous meetings:

Program of the 8th meeting on November 24th, 2012 in Leeds

Venue MALL 1, Level 8, School of Mathematics, University of Leeds. Directions
10.30-11.00 Arrival and coffee
11.00-12.00 Robert Barham (Leeds) The reconstruction of cycle-free partial orders from their automorphism groups
12.15-13.15 Gareth Jones (Manchester) Rational values of some analytic functions
13.15-15.00 Lunch
15.00-16.00 Nathanaël Mariaule (Manchester) On the decidability of the p-adic exponential ring
16.00-16.30 Coffee
16.30-17.30 Ronnie Nagloo (Leeds) The Painlevé equations
18.00-onwards pub and dinner Dinner will be most probably at a persian restaurant.



Program of the 7th meeting on May 5th, 2012 in Manchester

10.30-11.00: Arrival and coffee
11.00-12.00: James Dixon (Manchester) Real closed rings of functions on the line
12.15-13.15: Cong Chen (Leeds) Some not always entertaining stories about connected components of groups
13.30-15.15: Lunch
15.15-16.15: Dugald Macpherson (Leeds) Chains of finite structures and finitary o-minimality
16.30-17.30: Alexandre Borovik (Manchester) First Approaches to the Hrushovski Programme
6pm Pub and Dinner

Venue Frank Adams room 1, Alan Turing building, University of Manchester.



Program of the 6th meeting on November 12th, 2011 in Leeds

Venue MALL 1, Level 8, School of Mathematics, University of Leeds. Directions
10.30-11.00 Arrival and coffee
11.00-12.00 Andres Aranda Lopez (Leeds) Supersimple binary homogeneous structures
12.15-13.15 Anand Pillay (Leeds) On Levi subgroups of groups definable in o-minimal structures
13.15-15.00 Lunch
15.00-16.00 Vincent Astier (Dublin) Elementary equivalence of lattices of open sets definable in o-minimal expansions of fields
16.00-16.30 Coffee
16.30-17.30 Harold Simmons (Manchester) Rank, length, and dimension
18.00-onwards pub and dinner Dinner will be most probably at a chinese restaurant 15 min walk from the station.



Program of the 5th meeting on June 25th, 2011 in Manchester

10.30-11.00: Arrival and coffee
11.00-12.00: Mike Prest (Manchester) Kinds of sorts
12.15-13.15: Igor Klep (Ljubljana) Connes' Embedding Conjecture (abstract)
13.30-15.15: Lunch
15.15-16.15: Boris Zilber (Oxford) Presheaf of topological structures associated with a noncommutative algebra
16.30-17.30: Alexandra Omar Aziz (Leeds) Type-definable groups in separably closed fields
6pm Pub and Dinner

Venue Frank Adams room 1, Alan Turing building, University of Manchester.



Program of the fourth meeting on October 16th, 2010 in Leeds

Venue Leonard Rogers room (8.22d), School of Mathematics, University of Leeds. Directions
10.30-11.00 Arrival and coffee Title
11.00-12.00 Rizos Sklinos (Leeds) Homogeneity in the Free Group
12.15-13.15 Jakub Gismatullin (Leeds) Absolute conectedness of some algebraic groups
13.15-15.00 Lunch
15.00-16.00 Lorna Gregory (Manchester) Decidability of the theory of modules over a commutative valuation domain
16.00-16.30 Coffee
16.30-17.30 Gareth Jones (Manchester) Generating the Pfaffian closure using total Pfaffian functions
18.00-onwards pub and dinner



Program of the third meeting on April 24th, 2010 in Manchester

11.00-12.00: Gareth Jones (Manchester) Counting rational points on certain Pfaffian surfaces
12.15-13.15: Mark Kambites (Manchester) Groups acting on semimetric spaces and quasi-isometries of monoids
13.30-15.30: Lunch
15.30-16.30: Deborah Lockett (Leeds) Homomorphism-homogeneous relational structures
16.45-17.45: Gareth Boxall (Leeds) Expansions which introduce no new open sets
6pm Pub and Dinner

Venue Frank Adams room 1, Alan Turing building, Manchester.



Program of the second meeting on November 14, 2009 in Leeds

11.00-12.00: Dugald Macpherson (Leeds) NIP theories and VC-density
12.00-12.30: Charlotte Kestner (Leeds) Measures and Modules
12.30-13.00: Davide Penazzi (Leeds) Reductions of elliptic curves over a real closed field
13.00-15.00: Lunch
15.00-16.00: Marcus Tressl (Manchester) Widening the decidability of real closed fields
16.00-17.00: Richard Harland (Manchester) Pure Injectives over String Algebras



Program of the first meeting on April 25, 2009 in Manchester

11.00-12.00: Alex Wilkie (Manchester) On analytic expansions of the complex field
12.15-13.15: Philip Bridge and Simon Perera (Manchester) Model theory of modules and the crucial role of pp-formulas
13.30-15.30: Lunch
15.30-16.30: Anand Pillay (Leeds) Stability theory and the free group
16.45-17.45: John Truss (Leeds) Countable homogeneous multipartite graphs
6pm Pub and Dinner



Links

Model Theory Preprint Server
Logic Seminar Leeds
Logic Seminar Manchester
MALOA (Marie Curie Training Network in Mathematical Logic)

Site maintained by Marcus Tressl. Last modified: Friday, 24th May 2013.