Tea from 4:00 - 4:30 p.m. in Room 2-290
Refreshments afterwards, in Room 2-290

Abstract:
I'll review some classical applications of model theory to p-adic varieties and
integration, and more recent ones to arc spaces and motivic integration. Many of these
depend on little more logic than the notion of a formula, and a
quantifier elimination theorem over valued fields. I will then describe recent work towards a
structure theory for definable sets.