AMS Sectional Meeting Program by Special Session

Current as of Saturday, November 10, 2007 00:30:01

Associate secretaries:
Matthew Miller, AMS miller@math.sc.edu

Saturday November 3, 2007, 8:30 a.m.-10:50 a.m.
Special Session on Advances in Algorithmic Methods for Algebraic Structures, I
Room S276, Business and Aerospace Building
Organizers:
James B. Hart, Middle Tennessee State University jhart@mtsu.edu
- 8:30 a.m.
  Computable algebra.
  Valentina S. Harizanov*, George Washington University
  (1033-03-188)
- 9:30 a.m.
  Ramification Targeted Polynomial Searches.
  Sharon Brueggeman*, University of Tennessee at Chattanooga
  (1033-12-66)
- 10:00 a.m.
  Space Complexity of Torsion-Free Abelian Groups.
  Douglas Cenzer, University of Florida
  Zia Uddin*, University of Wisconsin-Platteville
  (1033-03-165)
- 10:30 a.m.
  Index sets of fields.
  Sara Quinn*, University of Notre Dame
  V. Harizanov, George Washington University
  J.F. Knight, University of Notre Dame
  K. Lange, University of Chicago
  C. Maher, University of Notre Dame
  C. McCoy, University of Notre Dame
  (1033-03-173)

Saturday November 3, 2007, 2:30 p.m.-5:20 p.m.
Special Session on Advances in Algorithmic Methods for Algebraic Structures, II
Room S276, Business and Aerospace Building
Organizers:
James B. Hart, Middle Tennessee State University jhart@mtsu.edu
- 2:30 p.m.
  Effective Transformations of Classes of Structures.
  John D Wallbaum*, University of Notre Dame
  (1033-03-184)
- 3:00 p.m.
  The Embedding Problem for Some Classes of Computable Structures.
  Jacob Carson, University of Notre Dame
  Ekaterina Fokina, Sobolev Institute of Mathematics, Siberian Branch of the Russian Acadamy of Sciences
  Valentina Harizanov, George Washington University
  Julia F Knight, University of Notre Dame
  Christina M Maher*, University of Notre Dame
  Sara Miller, University of Notre Dame
  John Wallbaum, University of Notre Dame
  (1033-03-234)
- 3:30 p.m.
  Describing classes of structures and structures within a class.
  Ekaterina Fokina, Novosibirsk State University
  Julia F. Knight*, University of Notre Dame
  Christina Maher, University of Notre Dame
  Alexander Melnikov, Novosibirsk State University
  Sara Miller Quinn, University of Notre Dame
  (1033-03-170)
- 4:00 p.m.
  Informal discussion and problem session.

Sunday November 4, 2007, 8:00 a.m.-10:50 a.m.
Special Session on Advances in Algorithmic Methods for Algebraic Structures, III
Room S276, Business and Aerospace Building
Organizers:
James B. Hart, Middle Tennessee State University jhart@mtsu.edu
- 8:30 a.m.
  Algorithmic methods for equivalence relations.
  Douglas Cenzer*, University of Florida
  (1033-03-129)
- 9:00 a.m.
  Complexity of Relations on Computable Structures.
  Sarah Pingrey*, The George Washington University
  J. Chisholm, Western Illinois University
  J. Chubb, The George Washington University
  V. S. Harizanov, The George Washington University
  D. R. Hirschfeldt, University of Chicago
  C. G. Jockusch, University of Illinois
  T. McNicholl, Lamar University
  (1033-03-152)
- 9:30 a.m.
  Degree spectra of successor in linear orderings.
  Jennifer Chubb*, George Washington University
  (1033-03-180)
- 10:00 a.m.
  Dependence Degrees of co-atoms in the Lattice of Computably Enumerable Vector Spaces.
  Rumen D Dimitrov*, Western Illinois University
  (1033-03-197)
- 10:30 a.m.
  Some results in $\mathbb{R}$-computable model theory.
  Wesley C Calvert*, Murray State University
  J E Porter, Murray State University
  (1033-03-08)

Inquiries: meet@ams.org