Journées en l’honneur de Turing et doctorat honoris causa de Leslie Valiant

Du 2 au 4 juillet 2012

 à l’ENS de Lyon

Le département informatique de l’ENS de Lyon et le Labex MILYON (dont le Laboratoire d’informatique du parallélisme) s’associent pour célébrer le centième anniversaire de la naissance d’Alan Turing.

Trois jours de commémoration qui ont donné lieu à de multiples animations grand public, une conférence internationale et un workshop et un temps fort pour la communauté informatique lyonnaise : remise des insignes de Docteur Honoris causa à Leslie Valiant, lauréat du prix Turing en 2010.

Conférence internationale : Comment la machine universelle a bouleversé notre société

2012 marque le centenaire de la naissance d’Alain Turing (1912 – 1954). Brillant scientifique, ses travaux sont célèbres pour avoir eu une influence considérable sur les mathématiques et sur l’informatique, mais aussi sur la morphogénèse, l’intelligence artificielle et la philosophie.

Son approche interdisciplinaire des problèmes constitue un symbole fort pour MILYON, qui souhaite développer les interactions entre les communautés des sciences mathématiques et informatique, et initier de nouvelles collaborations avec d’autres disciplines.

La personnalité fascinante d’Alan Turing, fondateur de la science informatique moderne, a donné aux organisateurs du colloque l’opportunité d’imaginer cet événement en son honneur comme un savant mélange de médiation scientifique, de recherche et de prestige.

Comité d’organisation

Comité scientifique

  • Gilles Dowek, Directeur scientifique adjoint de Inria en charge du domaine Algorithmique, programmation, logiciels et architectures
  • Eric Fleury, Professeur à lʼENS de Lyon, Directeur du département informatique de lʼENS de Lyon
  • Pascal Koiran, Professeur à lʼENS de Lyon
  • Alexandre Miquel, Maître de conférences à l’ENS de Lyon
  • Gilles Villard, Directeur de recherche CNRS, Directeur du Laboratoire de l’informatique du parallélisme (LIP).

Conférenciers

Leslie Valiant
Gérard Berry
Manuel Bodirsky
Peter Bürgisser
Gilles Dowek
J.M.E. Hyland
Erich Kaltofen
Sophie Laplante
Jean Lassègue
Giuseppe Longo
Daniele Micciancio
Jean-Michel Salanskis

 

Déroulement

1er jour (2/07/2012) :

La première journée fut consacrée à l’héritage d’Alan Turing et de l’influence de la notion fondamentale d’ordinateur / calculateur / machine universelle.

Une journée francophone grand public et multidisciplinaire (informatique, philosophie, épistémologie, etc.) qui fut clôturée par la cérémonie de remise du doctorat honoris causa à Leslie Valiant, chercheur britannique en informatique théorique, titulaire de la chaire Thomas Jefferson Coolidge en informatique théorique et mathématiques appliquées de la faculté d’ingénierie et de sciences appliquées (Harvard School of Engineering and Applied Sciences). Cette récompense vient s’ajouter aux nombreux autres prix prestigieux, attribués au cours de sa carrière, comme les prix Nevanlinna et Knuth.

Pour l’occasion, huit étudiants de Master en informatique de l’ENS de Lyon, formant l’équipe RUBENS, ont rendu hommage à Alan Turing en construisant une « machine de Turing », entièrement réalisée en Lego, fonctionnant sans électricité, ni aucun composant intelligent.

La « machine de Turing », entièrement réalisée en Lego

La « machine de Turing », entièrement réalisée en Lego

Tout droit sortie de l’imagination de leur pair en 1936, cette « machine » est un modèle abstrait pour définir la calculabilité. Elle décrit le fonctionnement des appareils mécaniques de calcul, tel que le ferait un ordinateur. Ce modèle, aujourd’hui connu sous le nom de machine de Turing, est toujours utilisé en informatique théorique, en particulier dans les domaines de la complexité algorithmique ou pour résoudre des problèmes de calculabilité.

Véritable ordinateur en Lego, elle est un formidable outil pédagogique. Elle permet d’appréhender l’informatique comme étant une science à part entière et non plus seulement une technologie.

Cette machine, exposée à la Maison des mathématiques et de l’informatique, est devenue aujourd’hui une attraction majeure des activités de médiation de MILYON.

2ème jour (3/07/2012) :

Conférence internationale Turing’sheritage: Logic, Computation & Complexity” (l’héritage de Turing : Logique, Calcul et complexité).

Plus de 200 participants sont venus écouter les 19 éminents conférenciers dont Leslie Valiant, Gérard Berry du Collège de France et le philosophe Gilles Dowek.

3ème jour (4/07/2012) :

Atelier du groupe de travail « complexité et modèles finis » du GDR CNRS Informatique Mathématique.

Le Monde, le journal du CNRS, et le magazine DocSciences ont couvert l’événement.

 

Le programme détaillé est disponible sur http://www.turing2012.fr

 


 

Liens utiles :