 The work of van den Dries-Macintyre-Marker has found many applications to (and is a very natural setting for problems in) Diophantine geometry on Shimura varieties (Anand Pillay, Sergei Starchenko, Jonathan Pila) and representation theory (Wilfried Schmid and Kari Vilonen).Macintyre has proved results on Boris Zilber's theory of the complex exponentiation, and Zilber's pseudo-exponential fields.Macintyre and Jamshid Derakhshan have developed a model theory for the adele ring of a number field where they prove results on quantifier elimination and measurability of definable sets.