|
7:30--8:40 |
Registration Breakfast |
Bessey 104 Bessey 108 |
|
8:50--9:00 |
CBA Building 143 Opening Remarks |
|
9:00--9:50 |
CBA Building 143 David Epstein, University of Warwick, UK Constructive definition of compact metric spaces |
|
10:00--10:50 |
CBA Building 143 Jean-Eric Pin, LIAFA, Université Paris VII, France Semigroups and infinite words |
|
11:00--11:30 |
Break (Coffee in Bessey 108) |
| Oldfather Hall 207 | Oldfather Hall 208 |
| 11:30--11:50 |
Bill Bogley, Oregon State University, USA Homological decision problems for groups with solvable word problem |
Jorge Almeida, University of Porto, Portugal Tameness of pseudovarieties of groups |
| 12:00--12:20 |
Eric Swenson, Brigham Young Univ., USA Infinite torsion in CAT(0) groups |
Manuel Delgado, University of Porto, Portugal Computing the abelian kernel of a finite monoid |
|
12:30--2:30 |
Lunch |
| Oldfather Hall 207 | Oldfather Hall 208 |
| 2:30--2:50 |
László Márki, Hungarian Academy of Sciences, Hungary
Enlargements and Rees matrix coverings |
David A. Jackson, Saint Louis University, USA Decision problems for semigroups |
| 3:00--3:20 |
Chris Hruska, Cornell University, USA Towers, ladders, and the B.B.Newman Spelling Theorem |
Christine Heitsch, Univ. California, Berkeley, USA Computational complexity of generalized pattern matching, and an exponential lower bound on one algorithmic approach |
| 3:30--4:00 | Break (Coffee in Bessey 108) |
| 4:00--4:50 |
Bessey 117 Karen Vogtmann, Cornell University, USA Computing invariants of automoprhism groups of free groups |
| 5:00--5:50 |
Bessey 117 John Rhodes, University of California, Berkeley, USA Some of the techniques used in my proof that complexity is decidable for finite automata and semigroups |
| 6:30--9:30 | Conference Reception |
Tuesday, May 16
|
7:30--8:45 |
Registration Breakfast |
Bessey 104 Bessey 108 |
|
9:00--9:50 |
CBA Building 143 Jean Berstel, Université Marne-la-Vallée, France Recent results on extensions of Sturmian words |
|
10:00--10:50 |
CBA Building 143 Martin Bridson, Oxford University, UK The geometry and grammar of normal forms in discrete groups |
|
11:00--11:30 |
Break (Coffee in Bessey 108) |
| Oldfather Hall 207 | Oldfather Hall 208 |
| 11:30--11:50 |
Sava Krstic, Oregon Graduate Institute, USA Cohomology of string groups |
Libor Polák, Masaryk University Brno, Czech Republic A classification of regular languages by semilattice-ordered semigroups |
| 12:00--12:20 |
Alair Pereira do Lago, Universidade de São Paulo, Brazil Local groups in free Burnside groupoids |
Stephen Pride, University of Glasgow, UK Sphere packings for groups and monoids |
|
12:30--2:00 |
Lunch |
| Oldfather Hall 207 | Oldfather Hall 208 |
| 2:00--2:20 |
Xiangdong Xie, University of Utah, USA Tits boundary and quasi-isometries between CAT(0) 2 complexes |
David Peifer, Univ. North Carolina, Asheville, USA Circular braid groups |
| 2:30--2:50 |
Cornelia Drutu, Max Planck Institut, Bonn, Germany Filling in solvable groups and in lattices |
Nik Ruskuc, University of St Andrews, UK Todd--Coxeter type method(s) for finitely presented inverse semigroups |
| 3:00--3:20 |
Volker Diekert, Universität Stuttgart, Germany Equations in free groups with rational constraints |
Rick Thomas, University of Leicester, UK The reduced word problem in groups |
| 3:30--4:00 | Break (Coffee in Bessey 108) |
| 4:00--4:50 |
Bessey 117 Noel Brady, University of Oklahoma, USA CAT(0) dimension and geometric dimension for 3-generator Artin groups |
| 5:00--5:50 |
Bessey 117 Jon McCammond, Texas A&M University, USA The curvature of posets associated to the braid groups |
Wednesday, May 17
|
7:30--8:45 |
Registration Breakfast |
Bessey 104 Bessey 108 |
|
9:00--9:50 |
CBA Building 143 Rostislav Grigorchuk, Hebrew Univ. Jerusalem and Steklov Inst., Moscow, Russia The presentation and algorithmic problems for branch groups |
|
10:00--10:50 |
CBA Building 143 Pascal Weil, LaBRI - CNRS, Bordeaux, France Profinite methods in semigroup theory |
|
11:00--11:30 |
Break (Coffee in Bessey 108) |
|
11:30--12:20 |
CBA Building 143 Victor Guba, Vologda State University, Russia Structural results about diagram groups |
| Afternoon free |
|
6:30--9:00 |
Conference Banquet |
Thursday, May 18
|
7:30--8:45 |
Registration Breakfast |
Bessey 104 Bessey 108 |
|
9:00--9:50 |
CBA Building 143 Friedrich Otto, Universität Kassel, Germany On the relationship between FDT, FHT and FP3 for finitely presented monoids |
|
10:00--10:50 |
CBA Building 143 James Cannon, Brigham Young University, USA Ample twisted face-pairing manifolds |
|
11:00--11:30 |
Break (Coffee in Bessey 108) |
| Oldfather Hall 207 | Oldfather Hall 208 |
| 11:30--11:50 |
Daniel Farley, SUNY Binghamton, USA Finiteness and CAT(0) properties of diagram groups |
Isabel M. Araújo, University of St Andrews, UK Finite generation and finite presentability of unions of semigroups |
| 12:00--12:20 |
Michael Mihalik, Vanderbilt University, USA Classifying Coxeter groups with locally connected boundary |
Vlad Sergiescu, Institut Fourier, Grenoble, France Groups almost acting on trees - an overview |
|
12:30--2:00 |
Lunch |
| Oldfather Hall 207 | Oldfather Hall 208 |
| 2:00--2:20 |
Robert Gilman, Stevens Institute of Technology, USA Groups with context-free multiplication table |
Lev Shneyerson, Courant Institute, USA Growth, identities, and a bounded height condition for semigroups |
| 2:30--2:50 |
Rita Gitik, Ann Arbor, Michigan, USA Algorithmic problems in negatively curved groups |
James Mitchell, University of St Andrews, UK Semigroup vs. group presentations |
| 3:00--3:20 |
Igor Mineyev, Univ. of South Alabama, USA l1-homology of combable groups and 3-manifold groups |
Mark Lawson, University of Wales, UK Tiling semigroups |
| 3:30--4:00 | Break (Coffee in Bessey 108) |
| 4:00--4:50 |
Bessey 117 Benjamin Steinberg, University of Porto, Portugal Free products of LERF groups: Revisited |
| 5:00--5:50 |
Bessey 117 Paul Schupp, University of Illinois, USA Computational complexity and the uniform membership problem for Coxeter groups and Fuchsian groups |
Friday, May 19
|
7:30--8:45 |
Registration Breakfast |
Bessey 104 Bessey 108 |
|
8:30--9:00 |
Tornado |
|
9:00--9:50 |
CBA Building 143 Ruth Charney, Ohio State University, USA Metric characterizations of buildings |
|
10:00--10:50 |
CBA Building 143 Alexei Miasnikov, The City College of CUNY, USA Genetic algorithms in algebra |
|
11:00--11:30 |
Break (Coffee in Bessey 108) |
| Oldfather Hall 207 | Oldfather Hall 208 |
| 11:30--11:50 |
Andrew Duncan, Univ. of Newcastle, UK Quadratic exponential equations in one-relator products and hyperbolic groups |
Michael Hoffmann, University of Leicester, UK Automatic and biautomatic semigroups |
| 12:00--12:20 |
Murray Elder, University of Melbourne, Australia Finiteness of almost convex groups |
Akihiro Yamamura, Communications Research Laboratory, Tokyo, Japan Embedding theorem for groups |
|
12:30--2:00 |
Lunch |
| 2:00--2:50 |
Bessey 117 Stuart Margolis, Bar Ilan University, Israel Inverse semigroup theoretic methods in group theory |
| 3:00--3:30 | Break (Coffee in Bessey 108) |
| 3:30--4:20 |
Bessey 117 Sapir, Vanderbilt University, USA Some applications of Higman embeddings |
End of Conference
Page last edited 5/12/00 by S. Hermiller.