Alan Turing Centenary Conference Manchester, 2012

Alan Turing Centenary Conference Manchester, 2012

25 Lectures · 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.

Related categories

Uploaded videos:

Opening address

video-img
07:38

Conference opening

Oct 05, 2012

 · 

3571 Views

Opening

Keynote Talks

video-img
59:56

The Reconstruction of Turing's "Paper Machine"

Garry Kasparov,

Frederic Friedel

Jul 10, 2012

 · 

12000 Views

Invited Talk
video-img
01:33:08

The Problem of Modelling the Mathematical Mind

Roger Penrose

Jul 10, 2012

 · 

17977 Views

Invited Talk

Invited talks

video-img
57:00

Navigating Internet´s Course

Vinton G. Cerf

Jul 10, 2012

 · 

5872 Views

Invited Talk
video-img
01:01:25

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

Michael O. Rabin

Jul 10, 2012

 · 

17633 Views

Invited Talk
video-img
54:50

Alan Turing and Number Theory

Yuri Matiyasevich

Jul 10, 2012

 · 

11812 Views

Invited Talk
video-img
59:17

Beyond Jeopardy! The Future of Watson

David Ferrucci

Jul 10, 2012

 · 

5376 Views

Invited Talk
video-img
51:13

Turing´s Pilot ACE: Why Not Important?

Frederick P. Brooks, Jr.

Sep 10, 2012

 · 

4302 Views

Invited Talk
video-img
56:16

Model Checking and the Curse of Dimensionality

Edmund M. Clarke

Jul 10, 2012

 · 

5370 Views

Invited Talk
video-img
01:04:02

Can Computers Understand Their Own Programs?

Charles Antony Richard Hoare

Jul 10, 2012

 · 

6673 Views

Invited Talk
video-img
01:03:55

Computer Science as a Natural Science

Leslie Valiant

Aug 16, 2012

 · 

4330 Views

Invited Talk
video-img
57:14

Turing's Humanoid Thinking Machines

Rodney A. Brooks

Jul 10, 2012

 · 

4874 Views

Invited Talk
video-img
59:04

On the Nature of Causation in Digital Computer Systems

George Ellis

Jul 10, 2012

 · 

4849 Views

Invited Talk
video-img
01:03:36

Wikipedia as a model for societal problem-solving

Samuel Klein

Jul 10, 2012

 · 

3918 Views

Invited Talk

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

video-img
10:18

The Big Questions in Computation, Intelligence and Life

Samson Abramsky

Aug 14, 2012

 · 

3434 Views

Panel
video-img
06:35

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

Carole Goble

Jul 10, 2012

 · 

3303 Views

Panel
video-img
08:55

The Big Questions in Computation, Intelligence and Life

Bertrand Meyer

Sep 12, 2012

 · 

3256 Views

Panel
video-img
05:31

The Big Questions in Computation, Intelligence and Life

Martin Davis

Jul 10, 2012

 · 

3229 Views

Panel
video-img
05:52

The Big Questions in Computation, Intelligence and Life

Moshe Y. Vardi

Jul 10, 2012

 · 

7584 Views

Panel
video-img
04:21

The Big Questions in Computation, Intelligence and Life

Roger Penrose

Jul 10, 2012

 · 

4370 Views

Panel
video-img
05:47

The Big Questions in Computation, Intelligence and Life

George Ellis

Jul 10, 2012

 · 

2785 Views

Panel
video-img
04:37

The Big Questions in Computation, Intelligence and Life

Hans Meinhardt

Jul 10, 2012

 · 

3051 Views

Panel

Turing Fellowships and Scholars Award Ceremony

video-img
10:55

Turing Fellowships and Scholars Award Ceremony

Barry Cooper

Jul 10, 2012

 · 

4291 Views

Best Paper
video-img
32:29

Computational Universality, Chaos, and Computing with Real Numbers

Mark Braverman

Jul 10, 2012

 · 

4993 Views

Invited Talk

Theorem Proving Awards

video-img
16:27

Theorem proving competition overview and results

Geoff Sutcliffe

Jul 10, 2012

 · 

3802 Views

Best Paper