credit to: Barrington R. DeMers, Bradenton, FL

Logic and Algorithms in Group Theory

Hausdorff 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

Call for participation: The Hausdorff Research Institute offers visiting positions for the whole period of the trimester program (for senior scientists, postdocs, and PhD students). In addition numerous fellowships for shorter periods are available. Please send applications (including a Letter of Intent, a CV, and - for postdocs and PhD students - a letter of recommendation) using the online application form. The deadline for applications is January 15, 2018.