**11-12 Nov 2012
Boston MA, U.S.A.**

Turing 100: A Celebration of the Life and Legacy of Alan Turing Sunday, November 11 and Monday, November 12 http://www.bu.edu/hic/turing100/ Photonics Center, 9th floor Colloquium Room 8 St. Mary's Street, Room 906 Sunday, 10:00am-12:00pm I. Turings Philosophical and Logical Foundations On Formalism Freeness: A Meditation on Gdels 1946 Princeton Bicentennial Lecture Juliette Kennedy Mathematics and Statistics, University of Helsinki Turing, Church, Gdel, a personal perspective Michael Rabin Computer Science, Harvard University Turing and Wittgenstein Juliet Floyd Philosophy, Boston University Sunday, 1:45pm-3:45pm II. Turing and Mathematics: Computability and Definability Universality is Ubiquitous Martin Davis Courant Institute, NYU; Mathematics, UC Berkeley Collapsing Sentences Gerald Sacks Mathematics, Harvard University and MIT The Hierarchy of Definability: An Extended Thesis Theodore Slaman Mathematics, UC Berkeley Sunday, 4:00pm-6:00pm III. Turing and Cryptography Rational Proofs Silvio Micali Computer Science, MIT Turing and the Growth of Cryptography Ronald Rivest Computer Science, MIT Alan Turing and Voice Encryption Craig Bauer Mathematics, York College of Pennsylvania Monday, 9:30am-12:15pm IV. Turing and AI Title TBA Marvin Minsky Media Arts and Sciences, MIT Why Neanderthals Couldnt Pass Turings Test and When Computers Will Patrick Henry Winston Computer Science, MIT Whats Wrong with the Moral Turing Test? Matthias Scheutz Computer Science, Tufts University Embodying Computation at Higher Types S. Barry Cooper Mathematics, University of Leeds Monday, 2:00pm-4:00pm V. The Church-Turing Thesis Normal Forms for Puzzles: an Enigmatic Variant of Turings Thesis Wilfrid Sieg Philosophy, Carnegie Mellon University Logical Egg or Computational Chicken? Jaakko Hintikka Philosophy, Boston University Is there a Church-Turing Thesis for Social Algorithms? Rohit Parikh Computer Science, Mathematics, Philosophy, CUNY Monday, 4:15pm-6:30pm VI. Turing, Physics, and Probability Algorithmic Randomness and Turings Work on Normality Rod Downey Mathematics, Victoria University of Wellington Spacetime Physics and Non-Turing Computers Mark Hogarth Philosophy, Cambridge University Title TBA Leonid Levin Computer Science, Boston University Organized in collaboration with the Department of Computer Science and the Center for Philosophy and the History of Science. Financial support has been provided by the Hariri Institute (http://www.bu.edu/hic).