Joint Mathematics Meetings AMS Special Session

Current as of Saturday, January 14, 2012 00:29:09

Joint Mathematics Meetings
John B. Hynes Veterans Memorial Convention Center, Boston Marriott Hotel, and Boston Sheraton Hotel, Boston, MA
January 4-7, 2012 (Wednesday - Saturday)
Meeting #1077

Associate secretaries:

Michel L Lapidus, AMS lapidus@math.ucr.edu, lapidus@mathserv.ucr.edu
Gerard A Venema, MAA venema@calvin.edu

• Wednesday January 4, 2012, 8:00 a.m.-9:50 a.m.
  AMS-ASL Special Session on the Life and Legacy of Alan Turing, I
  Room 207, Hynes
  Organizers:
  Damir Dzhafarov, University of Chicago and University of Notre Dame
  Jeff Hirst, Appalachian State University jlh@cs.appstate.edu
  Carl Mummert, Marshall University
  

  • 8:00 a.m.
    Algorithmic Randomness and Pathological Computable Measures.
    Christopher P Porter*, University of Notre Dame
    (1077-03-2392)
  • 8:30 a.m.
    Computing the strength of some combinatorial theorems.
    Stephen Flood*, University of Notre Dame
    (1077-03-1998)
  • 9:00 a.m.
    $\rm{Low}_n$ Boolean Subalgebras.
    Rebecca M. Steiner*, Graduate Center, City University of New York
    (1077-03-476)
  • 9:30 a.m.
    Vegetative Turing Pattern Formation: A Historical Perspective.
    Bonni J Kealy*, Washington State University
    David J Wollkind, Washington State University
    (1077-92-84)
• Wednesday January 4, 2012, 2:15 p.m.-5:55 p.m.
  AMS-ASL Special Session on the Life and Legacy of Alan Turing, II
  Room 207, Hynes
  Organizers:
  Damir Dzhafarov, University of Chicago and University of Notre Dame
  Jeff Hirst, Appalachian State University jlh@cs.appstate.edu
  Carl Mummert, Marshall University
  

  • 2:15 p.m.
    A Survey of Alan Turing's Contributions to Logic, to the Invention of General Purpose Computers, and to Theoretical Computer Science.
    Martin D. Davis*, NYU/Courant and UC Berkeley
    (1077-01-389)
  • 3:15 p.m.
    Alan Turing: The creative power of mathematics.
    Andrew P Hodges*, University of Oxford, UK
    (1077-01-423)
  • 4:15 p.m.
    The influence of Alan Turing.
    Marvin Minsky*, MIT
    (1077-01-2934)
  • 5:15 p.m.
    Alan Turing's Philosophy of Mind.
    James H. Moor*, Dartmouth College
    (1077-01-1987)
• Thursday January 5, 2012, 8:00 a.m.-11:40 a.m.
  AMS-ASL Special Session on the Life and Legacy of Alan Turing, III
  Room 207, Hynes
  Organizers:
  Damir Dzhafarov, University of Chicago and University of Notre Dame
  Jeff Hirst, Appalachian State University jlh@cs.appstate.edu
  Carl Mummert, Marshall University
  

  • 8:00 a.m.
    E-Recursion Theory.
    Gerald E. Sacks*, Harvard University, MIT
    (1077-03-1686)
  • 9:00 a.m.
    The universal Turing machine, and Turing operators.
    Julia F. Knight*, University of Notre Dame
    (1077-03-449)
  • 9:30 a.m.
    Turing's Influence on Computational Complexity.
    Lance Fortnow*, Northwestern University
    (1077-68-398)
  • 10:00 a.m.
    A small step beyond the Turing degrees.
    Joseph S. Miller*, University of Wisconsin - Madison
    (1077-03-2897)
  • 10:30 a.m.
    Ordinal logics and proof theory.
    Grigori Mints*, Stanford University
    (1077-03-388)
  • 11:00 a.m.
    The Mathematics of Relative Definability.
    Theodore A Slaman*, University of California, Berkeley
    (1077-03-2706)
• Thursday January 5, 2012, 1:00 p.m.-3:40 p.m.
  AMS-ASL Special Session on the Life and Legacy of Alan Turing, IV
  Room 207, Hynes
  Organizers:
  Damir Dzhafarov, University of Chicago and University of Notre Dame
  Jeff Hirst, Appalachian State University jlh@cs.appstate.edu
  Carl Mummert, Marshall University
  

  • 1:00 p.m.
    Alan Turing and Voice Encryption.
    Craig Bauer*, NSA Scholar-in-Residence
    (1077-01-433)
  • 2:00 p.m.
    Turing's work and Hilbert's Tenth Problem.
    Kirsten Eisentraeger*, The Pennsylvania State University
    (1077-11-1202)
  • 2:30 p.m.
    Quantum Money from Knots.
    Peter W. Shor*, Massachusetts Institute of Technology
    (1077-68-2759)
  • 3:00 p.m.
    Gödel's theorems, Turing's machines, and mathematical minds.
    Wilfried Sieg*, Carnegie Mellon University
    (1077-03-983)