August 18 - 22, 2025
Venue: HIM, Poppelsdorfer Allee 45, Bonn
Organizers: André Nies (University of Auckland), Eamonn O'Brien (University of Auckland), Katrin Tent (Universität Münster)
This event is a follow-up workshop to the trimester program "Logic and Algorithms in Group Theory" (September 3 - December 20, 2018).
Abstract:
Mathematical logic and algorithmic thinking have a strong impact on present-day group theory. A 2018 trimester programme at the HIM aimed at developing and connecting the two approaches. In this follow-up workshop, results pertaining to these interactions will be presented. The focus is on results that have been obtained in the meantime, and in several cases are based on research that was initiated during the 2018 trimester programme.

Name | Affiliation |
Marco Amelio Simon André Hannah Boß Martin R. Bridson Montserrat Casals-Ruiz Martina Conte Rémi Coulon Heiko Dietrich Christian d'Elbee Bettina Eick Aleksander Fragomeno Jonathan Fruchter Giles Gardam Itay Kaplan Martin Kassabov Ilya Kazachkov Zahra Mohammadi Khangheshlaghi Thomas Koberda Hugh Dugald Macpherson Gaven John Martin Chen Meiri Gabriele Nebe André Nies Andrew Ng Eamonn O'Brien Gianluca Paolini Emmanuel Rauzy Tobias Rossmann Mima Stanojkovski Jeroen Schillewaert Katrin Tent Todor Tsankov Matteo Vannacci Christopher Voll Frank Wagner James Wilson |
Universität Münster Sorbonne University Universität Bonn University of Oxford Ikerbasque and UPV/EHU Bielefeld University Université de Bourgogne Monash University University of Leeds TU Braunschweig Universität Bonn Universität Bonn Universität Bonn Hebrew University of Jerusalem Cornell University Universidad del Pais Vasco UPV/EHU Universität Münster University of Virginia University of Leeds Massey University Technion RWTH Aachen University University of Auckland Universität Bonn University of Auckland University of Torino Universität der Bundeswehr München University of Galway Università di Trento University of Auckland Universität Münster Université Claude Bernard – Lyon 1 University of the Basque Country Bielefeld University Université Claude Bernard – Lyon 1 Colorado State University |