Joint Mathematics Meetings Program by AMS Special Session

Current as of Saturday, January 15, 2011 00:29:54

Joint Mathematics Meetings
New Orleans, LA, January 6-9, 2011 (Thursday - Sunday)
Meeting #1067

• Friday January 7, 2011, 8:00 a.m.-11:50 a.m.
  AMS-ASL Special Session on Logic and Analysis, I
  Napoleon C2, 3rd Floor, Sheraton
  Organizers:
  Jeremy Avigad, Carnegie Mellon University avigad@cmu.edu
  Ulrich W. Kohlenbach, Technische Universität Darmstadt
  Henry Towsner, University of California Los Angeles
  

  • 8:00 a.m.
    Inverting the Furstenberg correspondence.
    Jeremy Avigad*, Department of Philosophy, Carnegie Mellon University
    (1067-37-1533)
  • 8:30 a.m.
    Beyond the Correspondence Principle.
    Henry P Towsner*, University of California at Los Angeles
    (1067-03-750)
  • 9:00 a.m.
    Algorithmic randomness and ergodic theorems.
    Mathieu Hoyrup*, LORIA, INRIA Nancy - France
    (1067-68-808)
  • 9:30 a.m.
    Invariant measures on countable models.
    Nathanael L. Ackerman, University of California, Berkeley
    Cameron E. Freer*, University of Hawaii at Manoa
    Rehana R. Patel, Harvard University
    (1067-03-794)
  • 10:00 a.m.
    A constructive law of large numbers with applications.
    Peter Gacs*, Boston University
    (1067-60-2076)
  • 10:30 a.m.
    Computability and Complexity of Computable Cauchy Problems.
    Ning Zhong*, University of Cincinnati
    (1067-03-741)
  • 11:00 a.m.
    Recursive analysis of singular ordinary differential equations.
    Peter Buser*, Ecole Polytechnique F{é}d{é}rale de Lausanne
    Bruno Scarpellini, University of Basel
    (1067-03-2034)
  • 11:30 a.m.
    Exploratory Experimentation and Computation.
    David H Bailey, Lawrence Berkley National Labs
    Jonathan M Borwein*, University of Newcastle, NSW Australia
    (1067-33-223)
• Friday January 7, 2011, 1:00 p.m.-3:50 p.m.
  AMS-ASL Special Session on Logic and Analysis, II
  Napoleon C2, 3rd Floor, Sheraton
  Organizers:
  Jeremy Avigad, Carnegie Mellon University avigad@cmu.edu
  Ulrich W. Kohlenbach, Technische Universität Darmstadt
  Henry Towsner, University of California Los Angeles
  

  • 1:00 p.m.
    Uniform Bounds from Proofs in Nonlinear Ergodic and Fixed Point Theory.
    Ulrich Kohlenbach*, TU Darmstadt
    (1067-03-391)
  • 1:30 p.m.
    Proof mining in nonstandard analysis.
    Eyvind Martol Briseid*, TU Darmstadt
    (1067-03-727)
  • 2:00 p.m.
    Computability and Complexity in Geometric Measure Theory.
    Jack H Lutz*, Iowa State University
    (1067-03-864)
  • 2:30 p.m.
    Ramsey's theorem for pairs and program extraction.
    Alexander P. Kreuzer*, Technische Universität Darmstadt
    (1067-03-547)
  • 3:00 p.m.
    Applications of Logic to Analysis.
    Vassilios Gregoriades*, TU Darmstadt
    (1067-03-737)
  • 3:30 p.m.
    Reverse mathematics and constructive analysis.
    Jeffry L. Hirst*, Appalachian State University
    Carl Mummert, Marshall University
    (1067-03-1581)