An impression of Day 2 of the Alan Turing Centenary Conference in Manchester.
Click on one of the photo's to view them all in bigger format.
Andrew Chi-Chih Yao: "Quantum computing - A great science in the making":
Quotes from Yao:
"Quantum computing can transform science in the way computer science has done."
"The most important is to have fun in science."
"If you look at the very high complexity problems, quantum computing is not going to help."
"Quantum computing can provide a test for quantum theory."
Tony Hoare: "Can computers understand their own programs?":
Quotes from Hoare:
"Euclid's method can be seen as the world's first programming language."
"Humans understand the real world, the need of program users and the commercial opportunities. Computers understand the consequences of human decisions in the context of large and complex programs."
"I don't think that a computer can think."
Poster: "What kind of machine is the mind?"
Manuela Veloso: "Symbiotic Autonomy: Robots, Humans and the Web"
You can also listen to my recording of Veloso's talk:
Quotes from Veloso:
"Without purpose perception is very difficult."
"It's OK for robots to have limitations."
Leslie Valiant: "Computer science as a natural science":
Photo's: Bennie Mols, 24 June 2012