Groups and Computation

Home

Participants

Program

Local Information

Registration

General Description

The conference will be held from June 6th through June 13th 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 and 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 also feature the inaugural Schupp Distinguished Lecture, delivered by Laurent Bartholdi (Saarland University).

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 Alexei Miasnikov.

Sponsors:

The conference is generously supported by the National Science Foundation and the Department of Mathematical Sciences at Stevens Institute of Technology.

Speakers:

• Simon Andre (Institute of Mathematics of Jussieu - Paris Rive Gauche)

• Agatha Atkarskaya (Einstein Institute of Mathematics)

• Laurent Bartholdi (Saarland University), Schupp Lecture speaker

• Yuliya Beloshapka (D-MATH)

• 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)

• Bob Gilman (Stevens Institute of Technology)

• Be'eri Greenfeld (University of Washington)

• 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)

• Andrei Nikolaev (Stevens Institute of Technology)

• Denis Osin (Vanderbilt University)

• Denis Ovchinnikov ()

• 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 Sao 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)

• Vlad Stepanov (Gradarius)

• Alexander Treyer (Omsk State University)

• 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

Organizing committee:

• Jan Cannizzo (Stevens Institute of Technology)

• Montse Casals-Ruiz (University of the Basque Country)

• Bob Gilman (Stevens Institute of Technology)

• Olga Kharlampovich (Hunter College of CUNY)

• Alexei Miasnikov (Stevens Institute of Technology)

• Andrey Nikolaev (Stevens Institute of Technology)

• Mahmood Sohrabi (Stevens Institute of Technology)

• Sasha Ushakov (Stevens Institute of Technology)

• Alex Taam (Stevens Institute of Technology)

• Alina Vdovina (City College of CUNY)