Joint Mathematics Meetings Program by Special Session

Current as of Saturday, January 13, 2007 12:54:12

Joint Mathematics Meetings
New Orleans, LA, January 5-8, 2007 (Friday - Monday)
Meeting #1023

• Friday January 5, 2007, 8:00 a.m.-10:55 a.m.
  AMS-ASL Special Session on Logical Methods in Computational Mathematics, I
  Organizers:
  Saugata Basu, Georgia Institute of Technology saugata@math.gatech.edu
  Charles N. Delzell, Louisiana State University delzell@math.lsu.edu
  

  • 8:00 a.m.
    General logical metatheorems for functional analysis.
    Philipp Gerhardy*, Department of Philosophy, Carnegie Mellon University
    (1023-03-1468)
  • 8:30 a.m.
    New effective uniformity results in fixed point theory.
    Ulrich Kohlenbach*, Darmstadt University of Technology
    (1023-03-361)
  • 9:00 a.m.
    Proof mining in $CAT(0)$-spaces and $\mathbb R$-trees.
    Laurentiu Leustean*, TU Darmstadt, Germany and Institute of Mathematics "Simion Stoilow'' of the Romanian Academy, Bucharest, Romania
    (1023-03-1261)
  • 9:30 a.m.
    Model elimination and cut elimination.
    Grigori Mints*, Stanford University
    (1023-03-79)
  • 10:00 a.m.
    Phase transitions in logic and combinatorics.
    Andreas Weiermann*, Ghent University
    (1023-03-1102)
  • 10:30 a.m.
    Primitive Recursive Selection Functions for Provable Existential Assertions over Abstract Algebras.
    Jeffery Zucker*, McMaster University, Hamilton, Canada
    (1023-03-628)
• Friday January 5, 2007, 2:15 p.m.-4:40 p.m.
  AMS-ASL Special Session on Logical Methods in Computational Mathematics, II
  Organizers:
  Saugata Basu, Georgia Institute of Technology saugata@math.gatech.edu
  Charles N. Delzell, Louisiana State University
  

  • 2:15 p.m.
    Managing an NP-Complete Problem.
    Andrew G. Borden*, St. Mary';s University, San Antonio, Texas
    (1023-68-321)
  • 2:45 p.m.
    Computational power of bounded arithmetic from the predicative viewpoint.
    Sam Buss*, University of California, San Diego
    (1023-03-604)
  • 3:15 p.m.
    Mystery of Point Charges.
    Andrei Gabrielov*, Purdue University
    Dimitri Novikov, The Weizmann Institute of Science
    Boris Shapiro, Stockholm University
    (1023-14-756)
  • 3:45 p.m.
    Constructing expansions of the real field by restricted transcendental analytic functions with decidable theories.
    Daniel J. Miller*, Emporia State University
    (1023-03-88)
  • 4:15 p.m.
    Quantitative results in o-minimal topology.
    Thierry Zell*, Georgia State University
    (1023-03-153)