TURING CENTENARY CONFERENCE
CiE 2012 - How the World Computes

Print current page  Print this page

Timetable

Timetable - Special Sessions

Back to overview schedule
1. Cryptography, Complexity, and Randomness2. Turing Test and Thinking Machines3. Computational Models after Turing
Tuesday 19th, 14:00Curiouser and Curiouser: The Link between Incompressibility and Complexity
Eric Allender
Can humans be said to think?
Kevin Warwick
Computing? A Machine Imitating a Man in an Alphanumeric Game
Giuseppe Longo
Tuesday 19th, 14:40The Axiomatic Power of Kolmogorov Complexity
Laurent Bienvenu
On the Road to Thinking Machines
Jiří Wiedermann
General Relativistic Computation, Black Hole Computing vs Wormhole Computing
Péter Németi
Tuesday 19th, 15:20The Many Entropies of One-Way Functions
Omer Reingold
Learning, Social Intelligence and the Turing Test: Why an out-of-the-box Turing Machine will not pass the Turing Test
Bruce Edmonds
Is Turing's Thesis the Consequence of a Deeper Physical Principle?
Matthew Szudzik
4. Morphogenesis/Emergence as Computability Theoretic Phenomenon5. Open Problems in the Philosophy of Information6. The Universal Turing Machine and the History of the Computer
Wednesday 20th, 14:00What about the Horse Part? Models of Multicellular Development
James Sharpe
On the Foundations and Philosophy of Info-Metrics
Amos Golan
Birth of the Universal Turing Machine
Jack Copeland
14:20 The Church Turing Thesis then and now
John Tucker
Wednesday 20th, 14:40John ReinitzRobustness of Logical Depth
Luís Antunes
Undecidable Propositions by Fourier Series
Bruno Scarpellini
Wednesday 20th, 15:20Turing Pattern Formation Without Diffusion
Shigeru Kondo
Information and Logical Discrimination
Patrick Allo
Conceptions Of Locality In Logic And Computation, A History
Steven Ericsson-Zenith
2. Turing Test and Thinking Machines3. Computational Models after Turing6. The Universal Turing Machine and the History of the Computer
Thursday 21st, 14:00What are computers (if they are not thinking things)?
John Preston
Computability, Open-texture, and the Church-Turing Thesis
Stewart Shapiro
On Mathematicians Who Liked Logic: The Case of Max Newman
Ivor Grattan-Guinness
Thursday 21st, 14:40Bringing up Turing's Child-Machine
Susan Sterrett
How Reasoning differs from Computation
Michiel van Lambalgen
Why the ACE Had No Order Code
Mark Priestley
Thursday 21st, 15:20Panel discussion:
Future Directions
Transfinite Dynamical Models
Philip Welch
Mathematics and the Turing Renaissance
Robert Soare
1. Cryptography, Complexity, and Randomness4. Morphogenesis/Emergence as Computability Theoretic Phenomenon5. Open Problems in the Philosophy of Information
Friday 22nd, 14:00Applying Cryptography, Complexity and Randomness to Game Theory
Lance Fortnow
Turing Patterns in Deserts
Jonathan Sherratt
Sets of Signals, Information Flow, and Folktales
Mark Finlayson
Friday 22nd, 14:40Game Arguments in Computability Theory and Algorithmic Information Theory
Alexander Shen
From Turing to Wolpert, and Back Again
Nick Monk
Natural Information
Ruth Millikan
Friday 22nd, 15:20Meta-Algorithms versus Circuit Lower Bounds
Valentine Kabanets
Modeling Gene Regulation of Morphogenesis
Jaap Kaandorp
Panel discussion:
Future Directions

The Alan Turing Year ASL Cambridge University Cambridge University Press Computability in Europe the source site ELsevier EACSL EATCS IET IFCoLog IOS Press Isaac Newton Institute King's College, Cambridge Microsoft Research Cambridge Science AAAS Springer


local websites: Arno Pauly 2011-12-06 Valid HTML 4.01! Valid CSS!