Computational Group Theory
Monday-Thursday, Sept 22-25, 2003
City College of New York
Dr. George Havas from the University of Queensland will be visiting
City College from September 22 to September 25 of 2003.
Dr. Havas is recognized as
perhaps the world's expert on the Todd--Coxeter procedure and we are
taking
advantage of his presence by having an all--day series of lectures on
computational group theory on Thursday, September 25. Havas will give an
expository lecture during this period as well as a more formal one
on September 25. Several open problems will be circulated before the
get-together for the participants to discuss in a workshop setting
during the course of the
4 days that are involved.
Software of various kinds will also be made available to visitors during
Dr. Havas' visit from September 22 through September 24, 2003.
The lectures on Monday, Tuesday and Wednesday will be very informal
combined with interruptions and questions and suggestions from the
participants.
The informal workshop schedule is:
Monday
- 10:00 am - 1:00 pm Workshop in Shepard 279
- Lunch in faculty dining room
- 2:30 pm Expository lecture on Todd-Coxeter,
George Havas (University of Queensland)
Tuesday
- 10:00 am - 1:00 pm Workshop in Shepard 279
- Lunch in faculty dining room
- 2:30 pm Computing with parafree groups, Sean Cleary (CCNY)
Wednesday
- 10:00 am - 1:00 pm Workshop in Shepard 279
- Lunch in faculty dining room
- 2:30 pm A naive approach to Reidemeister-Schreier using SCHEME,
Douglas Troeger and Gilbert Baumslag (CCNY)
The conference schedule on Thursday, September 25, in Shepard 250:
- 9:45 am Welcoming remarks
- 10:00 am to 10:50 am An introductory
survey of computational techniques for studying finitely presented
groups, Charles Sims, Rutgers
- 11:00 am to 11:50 am The word problem for finitely presented groups,
Bob Gilman (Stevens Institute)
-
12:30 pm to 1:45 pm Lunch in faculty lounge.
- 2:00 pm to 2:50 pm On proofs in finitely
presented groups,
George Havas (University of Queensland)
-
3:00 pm to 3:50 pm Computing with polycyclic
groups, Bettina Eick (Braunschweig)
- 3:50 pm to 4:10 pm Tea
-
4:10 pm to 5:00 pm Computing with automatic and
hyperbolic groups,
Derek Holt (Warwick University)
Directions to campus
Some problems to consider
Please let us know if you plan to come by
emailing Sean Cleary
or Bernice Ravitz
or calling (212) 650-5167.
Up-to-date information is available on our webpages at
www.grouptheory.org
and www.caissny.org
This event is sponsored by CUNY Chancellor Matthew Goldstein, CCNY
Provost
Zeev Dagan,
CCNY Dean of Science Maria Tamargo, CCNY Dean of Engineering Mohammad
Karim,
the National Science Foundation and the CUNY Faculty Development Program,
and is hosted by the
Center of Algorithms and Interactive Scientific Software (CAISS) and the
New York Group Theory Cooperative.
Organized by Gilbert Baumslag, Sean Cleary,
Tim Daly, Gretchen Ostheimer, Bernice Ravitz, and
Douglas Troeger.