12-14 May 2014
New York NY, U.S.A.
THE TURING CENTENARY RESEARCH PROJECT: MIND, MECHANISM AND MATHEMATICS 2nd Workshop, New York City, May 12-14, 2014 Co-Chairs: S Barry Cooper and Gautam Dasgupta Morningside Campus MONDAY SCHEDULE: VENUE: Davis Auditorium, Schapiro Center for Engineering and Physical Science Research (Schapiro CEPSR), Morningside Campus, Columbia University. 9:00am WELCOME 9:10am Noam Greenberg (Victoria University of Wellington) - Computability and Strong Randomness 9:40am Mark Braverman (Princeton University) - tba 10:10am BREAK 10:30am ERIC ALLENDER (Rutgers) - The Saga of NP-Intermediate Problems: A New Development in an Old Story 11:30am RAY DOUGHERTY (New York University) - Turing, Chomsky and Wolfram 12:30pm LUNCH 2:10pm Rebecca Schulman (Johns Hopkins University) - Software for Matter: Programming the Morphogenesis, Replication and Metamorphosis of Everyday Things 2:40pm MARTIN DAVIS (New York University and UC Berkeley) - Gödel, Mechanism, and Consciousness 3:40pm BREAK 4:10pm Rutger Kuyper (Radboud University Nijmegen) - Intuitionistic Logic and Computability 4:40pm KLAUS SUTNER (Carnegie Mellon University) - tba 5:40pm CLOSE On the Monday evening there will be a social event/dinner. Details to follow. TUESDAY MORNING SCHEDULE: VENUE: Davis Auditorium, Schapiro Center for Engineering and Physical Science Research (Schapiro CEPSR), Morningside Campus, Columbia University. 9:00am David Gamez (University of Sussex) - Computation, Information and the Correlates of Consciousness 9:30am Stephanie Dick (Harvard University) - (Re)configuring Minds, Proof, and Computing in the Postwar United States 10:00am BREAK 10:20am STUART KAUFFMAN (University of Vermont) - Beyond the Stalemate: Mind-Body Revisited 11:20am BENJAMIN KOO (Tsinghua University) - CELL: A Cognitive Extreme Learning Lab 12:00pm LUNCH TUESDAY AFTERNOON SCHEDULE: VENUE: 750 CEPSR, Schapiro Center for Engineering and Physical Science Research (Schapiro CEPSR), Morningside Campus, Columbia University. 2:00pm Paul Grant (University of Cambridge) - Synthetic Spatial Patterning Using Two-Channel Quorum-Sensing Signaling 2:30pm RUSSELL MILLER (Queens College - City University of New York) - tba 3:30pm BREAK 3:50pm Andrew Marks (Caltech) - Descriptive Graph Combinatorics and Computability 4:20pm Simon Martiel (University of Nice-Sophia Antipolis) - Causal Dynamics of Discrete Space 4:50pm INVITED SPEAKER - tba 5:50pm CLOSE WEDNESDAY MORNING SCHEDULE: VENUE: Davis Auditorium, Schapiro Center for Engineering and Physical Science Research (Schapiro CEPSR), Morningside Campus, Columbia University. 9:00am INVITED SPEAKER - tba 10:00am BREAK 10:30am INVITED SPEAKER - tba 11:30am INVITED SPEAKER - tba 12:00pm CLOSE