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.

The program will include the following:

  • 10 - 14 September: Summer school with introductory lecture series by experts in the fields
  • 22 - 26 October: International workshop

Two-week periods of activity will focus on the following topics:

  • Free groups and their automorphisms, property (T)
  • Computational group theory
  • Expander graphs and approximate subgroups
  • Model theory of groups
  • Small cancellation theory
  • Randomness in group theory

Confirmed participants include:

Emmanuel Breuillard, 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 (tbc), Colva Roney-Dougal, Andreas Thom, Simon Thomas, Frank Wagner, George Willis, Henry Wilton