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

Oct 5, 2012

 · 

3573 views

Keynote Talks

video-img
01:33:08

The Problem of Modelling the Mathematical Mind

Roger Penrose

Jul 10, 2012

 · 

17986 views

video-img
59:56

The Reconstruction of Turing's "Paper Machine"

Frederic Friedel,

Garry Kasparov

Jul 10, 2012

 · 

12021 views

Invited talks

video-img
56:16

Model Checking and the Curse of Dimensionality

Edmund M. Clarke

Jul 10, 2012

 · 

5373 views

video-img
57:14

Turing's Humanoid Thinking Machines

Rodney A. Brooks

Jul 10, 2012

 · 

4876 views

video-img
01:03:55

Computer Science as a Natural Science

Leslie Valiant

Aug 16, 2012

 · 

4333 views

video-img
59:04

On the Nature of Causation in Digital Computer Systems

George Ellis

Jul 10, 2012

 · 

4852 views

video-img
59:17

Beyond Jeopardy! The Future of Watson

David Ferrucci

Jul 10, 2012

 · 

5381 views

video-img
01:04:02

Can Computers Understand Their Own Programs?

Charles Antony Richard Hoare

Jul 10, 2012

 · 

6677 views

Draft
video-img
01:01:02

Symbiotic Autonomy: Robots, Humans, and the Web

Manuela M. Veloso

Sep 4, 2019

 · 

7 views

video-img
01:03:36

Wikipedia as a model for societal problem-solving

Samuel Klein

Jul 10, 2012

 · 

3923 views

video-img
54:51

Alan Turing and Number Theory

Yuri Matiyasevich

Jul 10, 2012

 · 

11823 views

video-img
51:13

Turing´s Pilot ACE: Why Not Important?

Frederick P. Brooks, Jr.

Sep 10, 2012

 · 

4305 views

video-img
57:00

Navigating Internet´s Course

Vinton G. Cerf

Jul 10, 2012

 · 

5875 views

Private
video-img
54:40

Quantum Computing: A Great Science in the Making

Andrew Chi-Chih Yao

Jul 10, 2012

 · 

2308 views

video-img
01:01:25

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

Michael O. Rabin

Jul 10, 2012

 · 

17667 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

Jul 10, 2012

 · 

1939 views

video-img
05:52

The Big Questions in Computation, Intelligence and Life

Moshe Y. Vardi

Jul 10, 2012

 · 

7591 views

video-img
10:18

The Big Questions in Computation, Intelligence and Life

Samson Abramsky

Aug 14, 2012

 · 

3436 views

video-img
05:31

The Big Questions in Computation, Intelligence and Life

Martin Davis

Jul 10, 2012

 · 

3232 views

video-img
06:36

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

Carole Goble

Jul 10, 2012

 · 

3306 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

Jul 10, 2012

 · 

2722 views

Private
video-img
09:07

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

Ronald J. Brachman

Jul 10, 2012

 · 

1913 views

video-img
08:55

The Big Questions in Computation, Intelligence and Life

Bertrand Meyer

Sep 12, 2012

 · 

3260 views

video-img
05:47

The Big Questions in Computation, Intelligence and Life

George Ellis

Jul 10, 2012

 · 

2788 views

video-img
04:21

The Big Questions in Computation, Intelligence and Life

Roger Penrose

Jul 10, 2012

 · 

4371 views

video-img
04:37

The Big Questions in Computation, Intelligence and Life

Hans Meinhardt

Jul 10, 2012

 · 

3054 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

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

Sep 4, 2019

 · 

90 views

video-img
32:29

Computational Universality, Chaos, and Computing with Real Numbers

Mark Braverman

Jul 10, 2012

 · 

5002 views

video-img
10:55

Turing Fellowships and Scholars Award Ceremony

Barry Cooper

Jul 10, 2012

 · 

4295 views

Theorem Proving Awards

video-img
16:27

Theorem proving competition overview and results

Geoff Sutcliffe

Jul 10, 2012

 · 

3804 views