- credit to: Barrington R. DeMers, Bradenton, FL
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