Menu
Alan Turing Centenary Conference Manchester, 2012

Alan Turing Centenary Conference Manchester, 2012

32 Videos · Jun 22, 2012

About

During the twentieth century, a number of thinkers - including Kurt Gödel, von Neumann, and Alan Turing - brought the breadth and depth of vision needed to make a number of key breakthroughs. This was particularly true in the areas of computational science, mathematics, physics, and developmental biology. Important accompanying developments were the building of the first computers; the subsequent use of these computers to simulate human intelligence, the use of mathematics to clarify the limitations and potential of computing machines; the engagement at theoretical and practical levels with simulating and understanding intelligent thought; the modelling of complex processes in nature which appeared to transcend mechanical computation; and the development of a better understanding of how information is created and hidden in the real world.

June 23, 2012 marks the centenary of the birth of Alan Turing. Alan Turing is arguably the most famous computer scientist of all time. The Turing Centenary Conference will be held in Manchester on June 22-25, 2012, hosted by The University in Manchester, where Turing worked in 1948-1954. The main theme of the conference is Alan Turing’s Centenary. It has the following aims:

  • to celebrate the life and research of Alan Turing;
  • to bring together the most distinguished scientists, to understand and analyse the history and development of Computer Science and Artificial Intelligence;

The conference includes two special public lectures (90 minutes each), 17 lectures (60 minutes each) by invited speakers, including lectures presenting the work of Alan Turing, one dinner lecture, two panel discussions, the presentation of awards to the research competition winners and short presentations from the selected research competition winners.

In addition, the Conference includes the following events

  • a computer chess event;
  • a poster session;
  • the best paper award ceremony;
  • a competition of computer programs proving theorems.

For more information please visit the Centenary Conference website.

Videos

Opening address

video-img
07:38

Conference opening

calendar icon Oct 5, 2012 3584 views

Keynote Talks

video-img
01:33:08

The Problem of Modelling the Mathematical Mind

Roger Penrose

calendar icon Jul 10, 2012 18035 views

video-img
59:56

The Reconstruction of Turing's "Paper Machine"

Frederic Friedel,

Garry Kasparov

calendar icon Jul 10, 2012 12112 views

Invited talks

video-img
56:16

Model Checking and the Curse of Dimensionality

Edmund M. Clarke

calendar icon Jul 10, 2012 5393 views

video-img
57:14

Turing's Humanoid Thinking Machines

Rodney A. Brooks

calendar icon Jul 10, 2012 4906 views

video-img
01:03:55

Computer Science as a Natural Science

Leslie Valiant

calendar icon Aug 16, 2012 4358 views

video-img
59:04

On the Nature of Causation in Digital Computer Systems

George Ellis

calendar icon Jul 10, 2012 4870 views

video-img
59:17

Beyond Jeopardy! The Future of Watson

David Ferrucci

calendar icon Jul 10, 2012 5420 views

video-img
01:04:02

Can Computers Understand Their Own Programs?

Charles Antony Richard Hoare

calendar icon Jul 10, 2012 6695 views

Draft
video-img
01:01:02

Symbiotic Autonomy: Robots, Humans, and the Web

Manuela M. Veloso

calendar icon Sep 4, 2019 7 views

video-img
01:03:36

Wikipedia as a model for societal problem-solving

Samuel Klein

calendar icon Jul 10, 2012 3945 views

video-img
54:51

Alan Turing and Number Theory

Yuri Matiyasevich

calendar icon Jul 10, 2012 11889 views

video-img
51:13

Turing´s Pilot ACE: Why Not Important?

Frederick P. Brooks, Jr.

calendar icon Sep 10, 2012 4332 views

video-img
57:00

Navigating Internet´s Course

Vinton G. Cerf

calendar icon Jul 10, 2012 5909 views

Private
video-img
54:40

Quantum Computing: A Great Science in the Making

Andrew Chi-Chih Yao

calendar icon Jul 10, 2012 2308 views

video-img
01:01:25

Turing, Church, Gödel, Computability, Complexity and Randomization: A Personal V...

Michael O. Rabin

calendar icon Jul 10, 2012 17841 views

Panel Discussion: The Big Questions in Computation, Intelligence and Life

Private
video-img
03:26

The Big Questions in Computation, Intelligence and Life

Barry Cooper

calendar icon Jul 10, 2012 1939 views

video-img
05:52

The Big Questions in Computation, Intelligence and Life

Moshe Y. Vardi

calendar icon Jul 10, 2012 7627 views

video-img
10:18

The Big Questions in Computation, Intelligence and Life

Samson Abramsky

calendar icon Aug 14, 2012 3453 views

video-img
05:31

The Big Questions in Computation, Intelligence and Life

Martin Davis

calendar icon Jul 10, 2012 3242 views

video-img
06:36

Social Machines + Knowledge Turning: A Big Question in Computation, Intelligence...

Carole Goble

calendar icon Jul 10, 2012 3328 views

Private
video-img
33:12

The Big Questions in Computation, Intelligence and Life

Martin Davis,

Hans Meinhardt,

Ronald J. Brachman,

Roger Penrose,

Samson Abramsky,

George Ellis,

Bertrand Meyer,

Carole Goble,

Moshe Y. Vardi

calendar icon Jul 10, 2012 2722 views

Private
video-img
09:07

(Artificial) Intelligence, Integrated Systems and the World´s Greatest Athlete

Ronald J. Brachman

calendar icon Jul 10, 2012 1913 views

video-img
08:55

The Big Questions in Computation, Intelligence and Life

Bertrand Meyer

calendar icon Sep 12, 2012 3273 views

video-img
05:47

The Big Questions in Computation, Intelligence and Life

George Ellis

calendar icon Jul 10, 2012 2801 views

video-img
04:21

The Big Questions in Computation, Intelligence and Life

Roger Penrose

calendar icon Jul 10, 2012 4389 views

video-img
04:37

The Big Questions in Computation, Intelligence and Life

Hans Meinhardt

calendar icon Jul 10, 2012 3063 views

Panel Discussion: Turing Test

Private
video-img
01:11:41

Turing Test

Steve Furber,

Jun'ichi Tsujii,

Manuela M. Veloso,

Garry Kasparov,

Rodney A. Brooks,

Pat Hayes

calendar icon Jul 10, 2012 2613 views

Turing Fellowships and Scholars Award Ceremony

Draft
video-img
34:05

Building Pattern: Synthetic Biology as a Tool for Exploring Emergent Systems

Paul Grant

calendar icon Sep 4, 2019 90 views

video-img
32:29

Computational Universality, Chaos, and Computing with Real Numbers

Mark Braverman

calendar icon Jul 10, 2012 5039 views

video-img
10:55

Turing Fellowships and Scholars Award Ceremony

Barry Cooper

calendar icon Jul 10, 2012 4319 views

Theorem Proving Awards

video-img
16:27

Theorem proving competition overview and results

Geoff Sutcliffe

calendar icon Jul 10, 2012 3828 views

Except where otherwise noted, content on this site is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 International license.