Speaker |
Title |
|---|---|
|
Rodney Brooks (MIT) |
|
|
Frederick P. Brooks, Jr. (University of North Carolina, Turing Award winner) |
|
|
Vint Cerf (Google, Turing Award winner) |
|
|
Edmund M. Clarke (Carnegie Mellon University, Turing Award winner) |
|
|
Jack Copeland (University of Canterbury, New Zealand) |
|
|
George Ellis (University of Cape Town, Templeton Award winner) |
Turing Centenary Talk: On the Nature of Causation in Digital Computer Systems |
|
David Ferrucci (IBM) |
|
|
Sir Tony Hoare (Microsoft Research, Turing Award winner) |
|
|
Garry Kasparov (Kasparov Chess Foundation) |
|
|
Samuel Klein (Wikipedia) |
TBC |
|
Don Knuth (Stanford University, Turing Award winner) |
|
|
Yuri Matiyasevich (Institute of Mathematics, St. Petersburgh) |
|
|
Hans Meinhardt (IMax Planck Institute for Developmental Biology) |
Turing's Pioneering Paper 'The Chemical Basis of Morphogenesis' and the Subsequent Development of Theories of Biological Pattern Formation |
|
Sir Roger Penrose (University of Oxford, Wolf Prize) |
|
|
Michael O. Rabin (Harvard University, Turing Award winner) |
Turing, Church, Gödel, Computability, Complexity and Randomization: A Personal Perspective |
|
Adi Shamir (Weizmann Institute of Science, Turing Award winner) |
|
|
Leslie Valiant (Harvard University, Turing Award winner) |
|
|
Manuela M. Veloso (Carnegie Mellon University) |
|
|
Andrew Chi-Chih Yao (Tsinghua University, Turing Award winner) |