Model-Theoretic Methods in Number Theory and Algebraic Differential Equations


3 August – 5 August 2018,  School of Mathematics,  University of Manchester, UK




Registration                                               Speakers/Participants                                       Programme/Abstracts                                      Location







NOTE: All talks will take place in Frank Adams Room #1.212 located in the first floor (not ground floor) of the Alan Turing building. Coffee breaks will be in the kitchen area of the Atrium Bridge (next to Frank Adams Room).


In recent years model-theoretic methods have produced sophisticated techniques that apply to various areas of Mathematics, such as number theory, dynamical systems, and algebraic geometry. Furthermore, a combination of model-theoretic and differential-algebraic tools has yielded remarkable results in "counting points and bounding height problems" in number theory and algebraic geometry. The goal of the meeting is to bring together groups working on applications of model theory and differential algebra to complex exponentiation, real-analytic geometry (using pfaffian systems), and problems in number theory. The meeting will expose participants to the variety of connections that model theory and differential algebra continue to have with number theory, algebraic geometry, and analytic geometry.


The main scientific topics of the event will be (but are not restricted to):

1)            analytic o-minimal expansions of the reals,

2)            complex exponentiation and Zilber fields,

3)            differential-exponential polynomial rings,

4)            functional transcendence,

5)            model-theoretic properties of algebraic-differential equations

6)            differential Galois theory.


The conference will follow the Differential Algebra and Related Topics meeting at the University of Leeds from 30 July to 2 August 2018. See DART IX


For queries and further details contact


The meeting organizers are Gareth Jones, Omar León Sánchez and Marcus Tressl.


Supported by an LMS Conference Grant and the School of Mathematics , University of Manchester.