Universität Bonn

Follow-Up Workshop: "Logic and Algorithms in Group Theory"


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.  


Participants

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

Wird geladen