Bienvenidos !!!

Este blog no tiene ninguna otra finalidad que compartir y ayudar a reflexionar sobre lógica y filosofía de la lógica, filosofía de las matemáticas, de la ciencia etc.
El blog es absolutamente gratuito. Mando los artículos a quienes lo soliciten y me envíen su mail . Es importante difundir nuestras reflexiones, discusiones, investigaciones y logros en el campo de las disciplinas que nos apasionan .

Gracias por seguir el blog !!!

Claudio Conforti

jueves, 3 de mayo de 2012

The Alan Turing Centenary Conference


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

Invited Speakers

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)George Ellis (University of Cape Town, Templeton Award winner)
David Ferrucci (IBM)Sir Tony Hoare (Microsoft, Turing Award winner)
Garry Kasparov (Kasparov Chess Foundation)Samuel Klein (Wikipedia)
Don Knuth (Stanford University, Turing Award winner)Yuri Matiyasevich (Institute of Mathematics, St. Petersburgh)
Hans Meinhardt (Max Planck Institute for Developmental Biology)Sir Roger Penrose (Oxford, Wolf Prize)
Michael O. Rabin (Harvard University, Turing Award winner)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)


TimeEventSpeaker

Friday June 22, 2012 (University Place)
18:30 – 20:00Evening invited talk for the General Public: Alan Turing, Pioneer of the Information AgeJack Copeland

Saturday June 23, 2012 (Turing Centenary Day) Manchester Town Hall (Manchester Town Hall)
09:00 – 10:00Opening invited talk: Turing's Legacy in the Networked WorldVint Cerf
10:00 – 11:00Invited talk: Turing, Church, Gödel, Computability, Complexity and Randomization - a Personal PerspectiveMichael Rabin
Coffee break
11:30 – 12:30Invited talk: Alan Turing and Number TheoryYuri Matiyasevich
Lunch
13:30 – 14:30Invited talk: Beyond Jeopardy! The Future of WatsonDavid Ferrucci
14:30 – 15:30Invited talk: Turing's Cryptography from a Modern PerspectiveAdi Shamir
Coffee break
15:45 – 16:45Invited talk: Pilot ACE Architecture in ContextFrederick P. Brooks
16:45 – 18:15Young Scholars Competition Award Ceremony
Laudation (awards to be handed over) – 2 invited talks by selected winners (30 minutes each)
18:15Reception

Sunday, June 24, 2012 (Manchester Town Hall)
09:00 – 10:00Invited talk: Quantum Computing: A Great Science in the MakingAndrew Chi-Chih Yao
10:00 – 11:00Invited talk: Temporal Logic Model CheckingEdmund Clarke
Coffee break
11:30 – 12:30Invited talk: Can Computers Understand Their Own Programs?Tony Hoare
Lunch
14:00 – 15:00Invited talk: Symbiotic Autonomy: Robots, Humans and the WebManuela Veloso
15:00 – 16:00Invited talk: Computer Science as a Natural ScienceLeslie Valiant
Coffee break
16:30 – 18:00Panel Discussion: The Big Questions in Computation, Intelligence and Life
Break
19:00Dinner, starting with the Dinner SpeechDonald E. Knuth

Monday, June 25, 2012 (Manchester Town Hall)
09:00 – 10:00Invited talk: The Reconstruction of Turing's "Paper Machine"Garry Kasparov
10:00 – 11:00Invited talk: Turing's Humanoid Thinking MachinesRodney Brooks
Coffee break
11:30 – 12:30Panel Discussion: Turing Test
Lunch
14:00 – 15:00Invited talk: On the Nature of Causation in Digital Computer SystemsGeorge Ellis
15:00 – 16:00Invited talk: Turing’s pioneering paper “The Chemical Basis of Morphogenesis” and the subsequent development of theories of biological pattern formationHans Meinhardt
Coffee break
16:30 – 17:30Invited talk: TBC.
17:30 – 18:30Closing invited talk: TBC.Samuel Klein
Break
20:00 – 21:30Evening invited talk for the General Public: The Problem of Modelling the Mathematical MindRoger Penrose

1 comentario:

  1. Infaltable cita para todos aquellos que trabajan en ciencias de la Computación y en Inteligencia Artificial !!!

    ResponderEliminar

Gracias por dejarme tu comentario