The first theme of the symposium concerns various number theoretic and algebraic geometric conjectures that have arisen out of model theoretic work over the past ten years or so.

In our second theme we plan to explore the relations and try to bridge some gaps between the formalisms of model theory and of category theory, both of which present distinct abstract approaches to the objects of mathematics. Among the aims would be to foster and improve communication with algebraists and geometers for whom category theory is the standard foundation, as well as exploring how the powerful techniques and points of view of the two formalisms can influence each other.

Our third, and final theme, motivic integration, is related in various ways, to each of the first two. It concerns the developments that have stemmed the theories of integration in arbitrary valued fields of residue characteristic zero.