------------------------------------------------------------- INTERNATIONAL CONFERENCE ON ALGORITHMIC PROBLEMS IN GROUPS AND SEMIGROUPS CONFERENCE SCHEDULE _________________________________________________________________________ SUNDAY, May 10 4:00-8:00pm Registration (at dormitory, hotels) _________________________________________________________________________ MONDAY, MAY 11 BESSEY HALL 108 8:15-9:00 Registration, continental breakfast BESSEY HALL 117 9:00-9:50 GILBERT BAUMSLAG, City College, CUNY "Algebraic geometry over groups" BESSEY HALL 108 10:00-10:30 Coffee, registration BESSEY HALL 117 10:30-11:20 PAUL SCHUPP, University of Illinois, Urbana-Champaign "On the computational complexity of the membership problem for finitely generated subgroups of the modular group and free groups with exponent normal forms" 11:30-12:20 SERGEI IVANOV, University of Illinois, Urbana-Champaign "On aspherical group presentations" 12:30-2:00 Lunch, registration OLDFATHER HALL 205 2:00-2:20 STEVE SEIF, University of Louisville "Computational complexity of term and polynomial equivalence problems for finite semigroups" 2:30-2:50 RICK THOMAS, University of Leister, England "Automatic semigroups" 3:00-3:20 PEDRO GARCIA-SANCHEZ, Universidad de Granada, Spain "Computing presentations of finitely generated commutative semigroups; deterministic algorithms to obtain information from a given presentation" OLDFATHER HALL 207 2:00-2:20 AKIHIRO YAMAMURA, Telecom. Advancement Org., Japan "SL(2,Z) and crypyography" 2:30-2:50 ANTHONY GAGLIONE, US Naval Academy "On varieties and axiomatic formations" 3:00-3:20 SUSAN HERMILLER, New Mexico State University "Monomial orderings, rewriting systems for monoids, and applications to Grobner bases" BESSEY HALL 108 3:30-4:00 Coffee, registration BESSEY HALL 117 4:00-4:50 HOWARD STRAUBING, Boston College "Language recognition by finite monoids: beyond the finite automaton" 5:00-5:50 DENIS THERIEN, McGill University, Canada "Communication complexity: an algebraic approach" 6:30-9:30 RECEPTION - 2248 Sheridan Boulevard _____________________________________________________________________ TUESDAY, MAY 12 BESSEY HALL 108 8:15-9:00 Registration, continental breakfast BESSEY HALL 117 9:00-9:50 JEAN-ERIC PIN, Universite de Paris, France "Concatenation hierarchies: progress and perspectives" BESSEY HALL 108 10:00-10:30 Coffee BESSEY HALL 117 10:30-11:20 DEREK HOLT, University of Warwick, England "Decision problems in finitely presented groups" 11:30-12:20 STEPHEN PRIDE, University of Glasgow, Scotland "New invariants for groups and monoids" 12:30-2:00 Lunch OLDFATHER HALL 205 2:00-2:20 HAYRULLAH AYIK, University of St Andrews, Scotland "Generators and relations of Rees matrix semigroups" 2:30-2:50 DAVID CRUICKSHANK, University of Glasgow, Scotland "Invariant chains of ideals for groups and monoids" 3:00-3:20 VICTOR FERNANDES, Universidade Nova de Lisboa, Portugal "The monoid of all partial injective order-preserving transformations on a finite chain" OLDFATHER HALL 207 2:00-2:20 JAMES RENSHAW, University of Southampton, England "On amalgamated free products of monoids" 2:30-2:50 KARL AUINGER, Universitat Wien, Austria "On identity bases of epigroup varieties" 3:00-3:20 SYLVAIN LOMBARDY, ENS, Paris, France "On the computation of the solution of a system of linear Diophantine equations" BESSEY HALL 108 3:30-4:00 Coffee BESSEY HALL 117 4:00-4:50 ALEXEI MIASNIKOV, City College, CUNY "Exponential groups" 5:00-5:50 OLGA KHARLAMPOVICH, McGIll University, Canada "First order formulas on free groups" ___________________________________________________________________ WEDNESDAY, MAY 13 BESSEY HALL 108 8:15-9:00 Continental breakfast BESSEY HALL 117 9:00-9:50 NIK RUSKUC, University of St Andrews, Scotland "Schutzenberger groups" BESSEY HALL 108 10:00-10:30 Coffee BESSEY HALL 117 10:30-11:20 STANISLAV KUBLANOVSKII, St Petersburg, Russia "Algorithmic problems for finite groups and finite semigroups" 11:30-12:20 VICTOR GUBA, Vologda State University, Russia "On the Dehn function of R. Thompson's groups F, T and V" 12:30-2:00 Lunch BESSEY HALL 117 2:00-2:50 YUJI KOBAYASHI, Toho University, Japan "Homotopy reduction systems for monoid presentations" 3:00-3:50 FRIEDRICH OTTO, Universitat Kassel, Germany "A survey on the computational power of some classes of finite monoid presentations" BESSEY HALL 108 4:00-4:30 Coffee 7:00-9:30 BANQUET, WICK ALUMNI CENTER ______________________________________________________________________ THURSDAY, MAY 14 BESSEY HALL 108 8:15-9:00 Continental breakfast BESSEY HALL 117 9:00-9:50 LEV SHNEYERSON, Courant Institute, New York "Growth criteria and constructions for finitely generated semigroups" BESSEY HALL 108 10:00-10:30 Coffee BESSEY HALL 117 10:30-11:20 ROBERT GILMAN, Stevens Institute of Technology "Word problems of groups" 11:30-12:20 ALEXANDER OL'SHANSKII, Moscow State University, Russia "On distortion and isoperimetric functions for groups" 12:30-2:00 Lunch OLDFATHER HALL 205 2:00-2:20 JING WANG, University of Glasgow, Scotland "Finite complete rewriting systems and finite derivation type" 2:30-2:50 JON McCAMMOND, Texas A&M University "The perimeter of 2-complexes and the coherence of groups" 3:00-3:20 JUAN ALONSO, Stockholms Universitet, Sweden "Finite derivation type" OLDFATHER HALL 207 2:00-2:20 JEAN-CLAUDE SPEHNER, Universite de Haute-Alsace, France "An efficient parallel algorithm for testing if a word belongs to a commutation class" 2:30-2:50 COLIN CAMPBELL, University of St Andrews, Scotland "The semigroup efficiency of groups" 3:00-3:20 KARSTEN HENCKELL, New College, Univ. of South Florida "The tree expansion for block groups" BESSEY HALL 108 3:30-4:00 Coffee BESSEY HALL 117 4:00-4:50 BENJAMIN STEINBERG, University of California, Berkeley "Decidability of iterated semidirect products and applications to complexity" 5:00-5:50 JOHN RHODES, University of California, Berkeley "Decidability of complexity for finite automata and related techniques" SHELDON ART GALLERY 7:00-9:00 Centennial Celebration reception _______________________________________________________________________ FRIDAY, May 15 BESSEY HALL 108 8:15-9:00 Continental breakfast BESSEY HALL 117 9:00-9:50 JORGE ALMEIDA, Universidade do Porto, Portugal "Some algorithmic problems on pseudovarieties of completely regular semigroups BESSEY HALL 108 10:00-10:30 Coffee CENTENNIAL CELEBRATION - SPECIAL SESSION IN SEMIGROUPS BESSEY HALL 117 10:30-11:20 PASCAL WEIL, Universite Paris VII, France "Computing closures of finitely generated subgroups of the free group" 11:30-12:20 MIKHAIL VOLKOV, Ural State University, Russia "New syntactic tools for pseudovarieties" 12:30-2:00 Lunch BURNETT HALL 115 2:00-2:50 CENTENNIAL CELEBRATION - PLENARY TALK BESSEY HALL 108 3:00-3:30 Coffee CENTENNIAL CELEBRATION - SPECIAL SESSION IN SEMIGROUPS BESSEY HALL 117 3:30-4:30 STUART MARGOLIS, Bar Ilan University, Israel "On relationships between finite, inverse and regular semigroups" 4:30-5:30 MARK SAPIR, Vanderbilt University "Residually finite groups and dynamics of polynomial maps over p-adic numbers" 6:30-9:30 Centennial Celebration Banquet - Cornhusker Hotel __________________________________________________________________________ SATURDAY, MAY 16 BURNETT HALL 115 9:00-9:50 CENTENNIAL CELEBRATION PLENARY LECTURE CENTENNIAL CELEBRATION - SPECIAL SESSION IN SEMIGROUPS BURNETT HALL 127 10:30-10:50 PEDRO SILVA, Universidade do Porto, Portugal "Normal forms for relatively free bands" 11:00-11:20 JOSEPH STEPHEN, Northern Illinois University "Free objects in the variety of semigroups equationally defined by x^2 = x^3" 11:30-11:50 OLGA SAPIR, Vanderbilt University "Identities of finite semigroups" 12:00-12:20 SAMUEL KOPAMU, Univ. of Technology, Papua New Guinea "On structurally regular semigroups" BURNETT HALL 115 2:00-2:50 CENTENNIAL CELEBRATION - PLENARY LECTURE CENTENNIAL CELEBRATION - SPECIAL SESSION IN SEMIGROUPS BURNETT HALL 127 3:30-3:50 PETER JONES, Marquette University "Variations on the theme of semidirect products of regular semigroups" 4:00-4:20 TATIANA JAJCAYOVA, MFF UK Bratislava, Slovakia "HNN extensions of inverse semigroups" 4:30-4:50 ROBERT RUYLE, University of Nebraska "Finite inverse monoids and systems of equations in a group" __________________________________________________________________