GAGTA 2025 - Groups, Logic, and Computation: Interactions Between Geometric Group Theory, Model Theory, and Computer Science

This event will explore the deep and evolving connections between group theory, computability, and algorithms—a relationship that dates back to the foundational work of Max Dehn. Central to these fields is the unsolvability of the word problem for finitely presented groups, which underpins many undecidability results in both group theory and topology.

The conference will highlight the rich interplay between group theory, automata theory, and logic, and examine how the asymptotic and generic perspectives of geometric group theory are inspiring new developments in computational complexity and computability theory.

This conference is part of the GAGTA (Geometric and Asymptotic Group Theory with Applications) series and will serve as GAGTA 2025, honoring the contributions of A. Miasnikov.

EVENT DETAILS

Monday, June 9 – Friday, June 13, 2025
8:30 a.m. – 5:15 p.m.
Gateway South 216 or via Zoom

For the complete agenda, please visit the Groups, Logic, and Computation: Interactions between geometric group theory, model theory, and computer science's website.

SPEAKERS

• Mikheil Amaglobelli (Tbilisi State University)
• Simon Andre (Institute of Mathematics of Jussieu - Paris Rive Gauche)
• Agatha Atkarskaya (Einstein Institute of Mathematics)
• Laurent Bartholdi (Saarland University), Schupp Lecture speaker
• Tengiz Bokelavadze (Tsereteli State University)
• Elena Bunina (Bar-Ilan University)
• Montserrat Casals-Ruiz (University of the Basque Country)
• Laura Ciobanu (Harriot Watt University)
• Evelina Danyarova (Sobolev Institute of Mathematics, Omsk)
• Volker Diekert (University of Stuttgart)
• Andrew Duncan (Newcastle University)
• Murray Elder (University of Technology, Sydney)
• Rostislav Grigorchuk (Texas A&M)
• Mikhael Gromov (NYU)
• Vincent Guirardel (University of Rennes 1)
• Sergei Gukov (Caltech)
• Turbo Ho (CSU, Northridge)
• Ilya Kapovich (Hunter College of CUNY)
• Ilya Kazachkov (University of the Basque Country)
• Bakhadyr Khoussainov (UESTC)
• Thomas Koberda (University of Virginia)
• Markus Lohrey (University of Siegen)
• Denis Osin (Vanderbilt University)
• Eugene Plotkin (Bar-Ilan University)
• Tim Riley (Cornell University)
• Nikolai Romanovskii (Sobolev Institute of Mathematics, Novosibirsk)
• Dmytro Savchuk (University of South Florida)
• Ivan Shestakov (University of São Paulo)
• Lev Shneerson (Hunter College of CUNY)
• Vladimir Shpilrain (City College of CUNY)
• Rizos Sklinos (Chinese Academy of Sciences)
• Rachel Skipper (University of Utah)
• Tatiana Nagnibeda (University of Geneva)
• Ben Steinberg (City College of CUNY)
• Alexander Ushakov (Stevens Institute of Technology)
• Akshay Venkatesh (IAS)
• Alina Vdovina (City College of CUNY)
• Pascal Weil (LaBRI)
• Armin Weiss★ (University of Stuttgart)
• Efim Zelmanov (SUSTech)
★ - to be confirmed

SPONSORED BY:

Department of Mathematics at Stevens

For all requests, please contact:
Mahmood Sohrabi, msohrab1@stevens.edu