Description of the Trimester Program "Logic and Algorithms in Group Theory": 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.
Scientific Organizers:
- Eamonn O'Brien (University of Auckland)
- André Nies (University of Auckland)
- Katrin Tent (Universität Münster)
The call for participation is open
You can submit an application for reviewing.