# Logic and Algorithms in Group Theory

Trimester Program

September 3 - December 20, 2018

Organizers: André Nies, Eamonn O'Brien, Katrin Tent

Mathematical logic and algorithmic thinking have a strong impact on present-day group theory. Examples include the model theory of free groups, the algebraicity conjecture for groups of finite Morley rank, decidability questions, classification of p-groups, and Burnside type questions. The program aims at developing and connecting the two approaches.

## Draft schedule

**Participants include:**

Martin Bridson, Gregory Cherlin, Bettina Eick, David Evans, Willem Fouche, Harald Helfgott, Gerhard Hiss, Derek Holt, Itay Kaplan, Martin Kassabov, Alex Lubotzky, Dugald Macpherson, Gaven Martin, Gabriele Nebe, Sarah Rees, Alan Reid, Eliyahu Rips, Colva Roney-Dougal, Andreas Thom, Simon Thomas, George Willis, Henry Wilton