Computation in Geometric and Combinatorial Group Theory

Home > What's on > Workshops > Computation in Geometric and Combinatorial Group Theory

Computation in Geometric and Combinatorial Group Theory

 11 - 15 Jul 2016
 ICMS, 15 South College Street Edinburgh

Scientific Organisers:

  • Derek Holt, University of Warwick

  • Colva Roney-Dougal, University of St Andrews

The workshop included participation from younger mathematicians to inspire them to work in this newly developing area. As a result of this workshop there was a significant increase in the quality and quantity of user-friendly software, and its theoretical results.


  • Andrey Nikolaev, Stevens Institute of Technology - Logspace and Compressed Word Computation in Finitely Generated Nilpotent Groups

  • François Dahmani, Institut Fourier -On the Conjugacy Problem Between Some Automorphisms of Free Groups

  • Bettina Eick, TU Braunschweig - The Classification of Nilpotent Groups of Hirsch Length at Most 5

  • Jim Howie, Heriot-Watt University - 1-relator Quotients of Free Products

  • Laura Ciobanu, University of Neuchâtel - Solving Equations in Free Groups

  • Colva Roney-Dougal, University of St Andrews - Proving Hyperbolicity in Polynomial Time 

  • Gili Golan, Vanderbilt University - The Generation Problem for Thompson Group F 

  • Murray Elder, University of Newcastle - Random Walks and Amenability; Solving Equations in Free Groups

  • Cameron Rogers, University of Newcastle - Computational Estimates of Folner sequences

  • Peter Kropholler, University of Southampton - Finite Dimensional Representations of Automorphism Groups of Free Groups

  • Armin Weiss, Stevens Institute of Technology - On the Dimension of Matrix Embeddings of Torsion-Freenilpotent Groups

  • Mark Kambites, University of Manchester - Amenability of Finitely Generated Semigroups 

  • Ian Leary, University of Southampton - Uncountably Many Groups of Type FP

  • Susan Hermiller, University of Nebraska - Trees, Flow Functions, and Word Problems

  • Alexei Miasnikov, Stevens Institute of Technology - What is the World We Live in? Mysteries of Computing

  • John Cannon, University of Sydney - Computing Automatic Structures and Proving Finitely-Presented Groups to be Infinite

  • Jack Button, University of Cambridge - A Wishlist of Routines for Finitely Presented Groups 

  • George Havas, University of Queensland - Commutator Identities as Products of Powers 

  • Funda Gul, Stevens Institute of Technology - Distortion of Embeddings of Tau-Groups into Group of Untriangular Matrices 

  • Alexei Miasnikov, Stevens Institute of Technology - Non-Commutative Discrete Optimization and Groups 

  • Robert Gilman, Stevens Institute of Technology - The Complexity of Coset Enumeration

  • Jon McCammond, University of California - What We Know and Don't Know About Artin Groups 

  • Sarah Rees, University of Newcastle - Rewriting in Artin Groups

  • Tim Riley, Cornell University - Computing Area in Group Presentations


Jack, ButtonSelwyn College, University of Cambridge
John, CannonUniversity of Sydney
Maurice, ChiodoThe University of Cambridge
Laura, CiobanuUniversity of Neuchâtel
Ged, Corob-CookUniversity of Southampton
Charles, CoxUniversity of Southampton
François, DahmaniInstitut Fourier, Université Grenoble.
Andrew J., DuncanNewcastle University
Bettina, EickTU Braunschweig
Murray, ElderThe University of Newcastle, Australia
Giles, GardamUniversity of Oxford
Robert, GilmanStevens Institute of Technology
Gili, GolanVanderbilt University
Funda, GulStevens Institute of Technology
George, HavasThe University of Queensland
Susan, HermillerUniversity of Nebraska
Derek, HoltUniversity of Warwick
Jim, HowieHeriot-Watt University
Mark, KambitesUniversity of Manchester
Peter, KrophollerUniversity of Southampton
Ian, LearyUniversity of Southampton
Stephen, LintonUniversity of St Andrews
Alan, LoganUniversity of Glasgow
Armando, MartinoUniversity of Southampton
Jon, McCammondUniversity of California Santa Barbara
Alexei, MiasnikovStevens Institute of Technology
Andrey, NikolaevStevens Institute of Technology
Eamonn, O'BrienUniversity of Auckland
Richard, ParkerNone
Markus, PfeifferUniversity of St Andrews
Sarah, ReesUniversity of Newcastle
Tim, RileyCornell University
Cameron, RogersUniversity of Newcastle, Australia
Colva, Roney-DougalUniversity of St Andrews
Carmen, RoviMPIM Bonn
Armin, WeißStevens Institute of Technology