Conférence

L'héritage de la machine universelle d'A.Turing

Illustration Codage

Cette conférence apporte un éclairage sur les travaux d'Alan Turing et leur influence remarquable sur les mathématiques, l’informatique, la morphogénèse, l’intelligence artificielle et la philosophie. Elle est organisée par l'École Normale Supérieure de Lyon, en partenariat avec Inria, à l'occasion du centenaire de la naissance de Alan Turing,

  • Date : 2/07/2012 au 4/07/2012
  • Lieu : ENS de Lyon, 46 allée d'Italie, Lyon
  • Organisateurs : ENS Lyon, Inria, Milyon

Dès 1936, A. Turing élabore le concept de calculateur universel programmable que l’on nomme maintenant communément ordinateur. Il présente sa « machine de Turing », le premier de ces calculateurs universel programmable, et invente les concepts de programmation et de programme.

Il est également à l'origine de la formalisation des concepts d'algorithme et de calculabilité qui ont profondément marqué la science.

Ces trois jours de conférence, organisés à l'occasion du centenaire de sa naissance, comportent :

  • "Héritage d'Alan Turing et impact de la notion fondamentale d’ordinateur/calculateur/machine universelle: une journée francophone grand public et multi-disciplinaire (informatique, philosophie, épistémologie, etc.)  (2 juillet 2012)
  • “Turing's heritage: Logic, Computation & Complexity” : une conférence internationale en langue anglaise (3 juillet 2012)
  • “Complexité et modèles finis” : un atelier du GDR CNRS Informatique Mathématique (4 juillet 2012)

Parmi les conférenciers :

  • Leslie Valiant, Harvard University, USA
  • Giuseppe Longo, CNRS, ENS Paris
  • Gérard Berry, Inria, Académie des sciences
  • Jean-Michel Salanskis, professeur de philosophie à l’Université Paris Ouest Nanterre La Défense
  • Jean Lassègue, CNRS, Centre de Recherche en Épistémologie Appliquée (CREA) de l’Ecole polytechnique
  • Sophie Laplante, Professeur en Informatique à l’Université Paris-Sud 11
  • Gilles Dowek, Inria

Localisation

Mots-clés : Inria Grenoble - Rhône-Alpes Alan Turing Machine universelle Eric Fleury

Haut de page

Siège et centres de recherche Inria

Accès direct

Social