Program for July 2nd, 2012

Epistemology

• Invited talk by Jean Lassègue, CNRS, CREA
• Turing, du formel logique à la forme biologique en passant par l’informatique
• Invited talk by Gilles Dowek, Inria, Deputy Scientific Director
• Alan Turing : un inventeur de langages
• Invited talk by 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

Computer science phenomenology

• Invited talk by 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

Quantic perspective

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

Computer science perspective

• Invited talk by Gerard Berry, Académie des sciences, Inria, chair in information technology and computational science at the Collège de France
• Calculabilité, langages et machines : Turing et ses contemporains

Leslie Valiant’s award ceremony: degree honoris causa

• 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 “The Turing machine comes true”

.

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