First-order logic on the free group

We will give an overview of questions one might ask about the first-order theory of free groups and related groups: how much information can first-order formulas convey about these groups or their elements, what algebraic interpretation can be given for model theoretic notions. It turns out that techniques from geometric group theory are very useful to tackle such problems.  We will assume no special knowledge of model theory.