DIMACS Tutorial on Exotic Constructions in Group Theory

September 20 - 21, 2010
DIMACS Center, CoRE Building, Rutgers University

Organizers:

Robert Gilman, Stevens, Robert.Gilman at stevens.edu

Bakhodyr Khoussainov, The University of Auckland (New Zealand), bmk at cs.auckland.ac.nz

Alexei Miasnikov, Stevens, amiasnik at stevens.edu

Workshop Program:

Monday, September 20, 2010

 9:00 -  9:45  Breakfast and registration

 9:45 - 10:00  Welcome
               Rebecca Wright, DIMACS Deputy Director

10:00 - 11:00  Model theory of infinite groups
               Alexei Miasnikov, Stevens Institute of Technology

11:00 - 11:30  Morning break	

11:30 - 12:30  Groups and languages
               Robert Gilman, Stevens Institute of Technology

12:30 -  2:00  Lunch

 2:00 -  3:00  Automaticity
               Bakhodyr Khoussainov, University of Auckland

 3:00 -  3:30  Afternoon break

 3:30 -  4:30  Forcing
               Carl Jockusch, University of Illinois

 5:00 -  6:30  Reception

Tuesday, September 21, 2010

 9:00 - 10:00  Breakfast and registration

10:00 - 11:00  Introduction to computable model theory
               Steffen Lempp, University of Wisconsin

11:00 - 11:30  Morning break	

11:30 - 12:30  Priority methods
               Denis Hirschfeldt, University of Chicago

12:30 -  2:00  Lunch

 2:00 -  3:00  A descriptive view of combinatorial group theory
               Simon Thomas, Rutgers University

 3:00 -  3:30  Conclusion of the tutorial

 3:30 -  4:30  Initial meeting for the Workgroup 
               (Topic: Open problems)

 4:30 -  5:00  Afternoon break

 5:00 -  6:00  Informal talk
               Denis Hirschfeldt, University of Chicago

Previous: Participation

Next: Registration

Workshop Index

DIMACS Homepage