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) |