The Life and Legacy of Alan Turing - A Special Session of the 2012 Joint Mathematics Meetings

• Craig Bauer, York College of Pennsylvania, NSA Scholar-in-Residence: Alan Turing and voice encryption

• Martin Davis, NYU/Courant and UC Berkeley: A survey of Alan Turing's contributions to logic, to the invention of general purpose computers, and to theoretical computer science

• Kirsten Eisenträger, The Pennsylvania State University: Turing's work and Hilbert's Tenth Problem

• Stephen Flood, University of Notre Dame: Computing the strength of some combinatorial theorems

• Lance Fortnow, Northwestern University: Turing's influence on computational complexity

• Andrew Hodges, University of Oxford, UK: Alan Turing: The creative power of mathematics

• Stuart Kauffman, University of Vermont: Answering Descartes: Beyond Turing

• Bonni Kealy, Washington State University: Vegatative Turing pattern formation: A historical perspective

• Julia Knight, University of Notre Dame: The universal Turing machine, and Turing operators

• Joseph Miller, University of Wisconsin, Madison: A small step beyond the Turing degrees

• Marvin Minsky, MIT: The influence of Alan Turing

• Grigori Mints, Stanford University: Ordinal logics and proof theory

• James Moor, Dartmouth University: Alan Turing's philosophy of mind

• Christopher Porter, University of Notre Dame: Algorithmic randomness and pathological computable measures

• Gerald Sacks, Harvard University and MIT: E-recursion theory

• Peter Shor, MIT: Quantum money from knots

• Wilfried Sieg, Carnegie Mellon University: Gödel's thoerems, Turing's machines, and mathematical minds

• Theodore Slaman, UC Berkeley: The mathematics of relative definability

• Rebecca Steiner, Graduate Center, City University of New York: Lown Boolean subalgebras