Programme de la première journée

Point de vue épistémologique

• Conférence de Jean Lassègue, CNRS, Centre de Recherche en Épistémologie Appliquée (CREA)
• Turing, du formel logique à la forme biologique en passant par l’informatique
• Conférence de Gilles Dowek, Inria, Directeur scientifique adjoint
• Alan Turing : un inventeur de langages
• Conférence de Giuseppe Longo, CNRS, ENS Paris
• A. M. Turing, l’audace d’un penseur : le ‘human computer’, la machine à état discret, la genèse des formes

Phénoménologie de l’informatique

• Conférence de J.-M. Salanskis, Professeur de philosophie des sciences, de logique et d’épistémologie à l’Université Paris-Ouest Nanterre La Défense.
• La construction et le calcul

Point de vue quantique

• Conférence de Sophie Laplante, Professeur en Informatique à l’Université Paris-Sud 11.
• La thèse de Turing à l’ère du calcul quantique

Point de vue science de l’information

• Conférence de Gerard Berry, Académie des sciences, Inria, titulaire de la chaire informatique et sciences numériques au Collège de France
• Calculabilité, langages et machines : Turing et ses contemporains

Remise du diplôme honoris causa à Leslie Valiant

• 18:00 : Ouverture de la cérémonie par Olivier Faron, Directeur général de l’École normale supérieure de Lyon
• 18:10 : Eric Fleury présente le film CNRS “La machine de Turing réalisée”

.

The Turing Machine Comes True par CNRS

• 18:20 Eloge de M. Leslie Gabriel Valiant par Pascal Koiran Professeur à l’ENS de Lyon
• 18:35 Remise des insignes et du diplôme de Docteur Honoris Causa par Olivier Faron
• 18:40 Réponse de M. Leslie Gabriel Valiant
• 18:50: Clôture de la cérémonie par Roland Debbasch, Recteur de l’académie de Lyon, Chancelier des universités
• 19:00 Photographie officielle. Signature des Livres d’or : celui du Rectorat et celui de l’ENS de Lyon

Cocktail