GAGTA 2025 - Groups, Logic, and Computation: Interactions Between Geometric Group Theory, Model Theory, and Computer Science
This conference will be held from June 9 through June 13, 2025, at the Stevens Institute of Technology. Group theory, computability, and algorithms have been inextricably intertwined since the fundamental papers of Max Dehn. The basis of all undecidability results in group theory and topology is the unsolvability of the word problem for finitely presented groups. There are many close links between group theory, automata theory, and logic. The asymptotic-generic point of view of geometric group theory has recently led to new ideas in computational complexity and the theory of computability. This conference will explore several aspects of these connections and will have one day devoted to the use of AI in group theoretic research.
The conference will serve as the GAGTA 2025 in the GAGTA (Geometric and Asymptotic Group Theory with Applications) series of conferences and will pay tribute to 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, [email protected]