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

Conference opening
Oct 5, 2012
·
3573 views
Keynote Talks

The Problem of Modelling the Mathematical Mind
Jul 10, 2012
·
17986 views

The Reconstruction of Turing's "Paper Machine"
Jul 10, 2012
·
12021 views
Invited talks

Model Checking and the Curse of Dimensionality
Jul 10, 2012
·
5373 views

Turing's Humanoid Thinking Machines
Jul 10, 2012
·
4876 views

Computer Science as a Natural Science
Aug 16, 2012
·
4333 views

On the Nature of Causation in Digital Computer Systems
Jul 10, 2012
·
4852 views

Beyond Jeopardy! The Future of Watson
Jul 10, 2012
·
5381 views

Can Computers Understand Their Own Programs?
Jul 10, 2012
·
6677 views

Symbiotic Autonomy: Robots, Humans, and the Web
Sep 4, 2019
·
7 views

Wikipedia as a model for societal problem-solving
Jul 10, 2012
·
3923 views

Alan Turing and Number Theory
Jul 10, 2012
·
11823 views

Turing´s Pilot ACE: Why Not Important?
Sep 10, 2012
·
4305 views

Navigating Internet´s Course
Jul 10, 2012
·
5875 views

Quantum Computing: A Great Science in the Making
Jul 10, 2012
·
2308 views

Turing, Church, Gödel, Computability, Complexity and Randomization: A Personal V...
Jul 10, 2012
·
17667 views
Panel Discussion: The Big Questions in Computation, Intelligence and Life

The Big Questions in Computation, Intelligence and Life
Jul 10, 2012
·
1939 views

The Big Questions in Computation, Intelligence and Life
Jul 10, 2012
·
7591 views

The Big Questions in Computation, Intelligence and Life
Aug 14, 2012
·
3436 views

The Big Questions in Computation, Intelligence and Life
Jul 10, 2012
·
3232 views

Social Machines + Knowledge Turning: A Big Question in Computation, Intelligence...
Jul 10, 2012
·
3306 views

The Big Questions in Computation, Intelligence and Life
Jul 10, 2012
·
2722 views

(Artificial) Intelligence, Integrated Systems and the World´s Greatest Athlete
Jul 10, 2012
·
1913 views

The Big Questions in Computation, Intelligence and Life
Sep 12, 2012
·
3260 views

The Big Questions in Computation, Intelligence and Life
Jul 10, 2012
·
2788 views

The Big Questions in Computation, Intelligence and Life
Jul 10, 2012
·
4371 views

The Big Questions in Computation, Intelligence and Life
Jul 10, 2012
·
3054 views
Panel Discussion: Turing Test

Turing Test
Jul 10, 2012
·
2613 views
Turing Fellowships and Scholars Award Ceremony

Building Pattern: Synthetic Biology as a Tool for Exploring Emergent Systems
Sep 4, 2019
·
90 views

Computational Universality, Chaos, and Computing with Real Numbers
Jul 10, 2012
·
5002 views

Turing Fellowships and Scholars Award Ceremony
Jul 10, 2012
·
4295 views
Theorem Proving Awards

Theorem proving competition overview and results
Jul 10, 2012
·
3804 views