Dans le cadre de la Chaire d’Innovation technologique - Liliane Bettencourt du Collège de France, le Professeur Gérard Berry, chercheur en informatique, organise une série de conférences sur le thème « Pourquoi et comment le monde devient numérique ».
Ces cours seront téléchargeables par Podcast 48 heures après leur tenue [1]
- 25 janvier
- 10h30 - Les algorithmes, coeur de l’informatique
- 11h30 — Algorithmes probabilistes sur de grandes masses de données
Philippe Flajolet - INRIA
- 1er février
- 10h30 - Des circuits aux systèmes sur puces
- 11h30 — La course à l’infiniment petit et ses challenges technologiques
Laurent Thenie - Cadence Design Systems
- 8 février
- 10h30 - Les langages de programmation, vecteurs de la pensée informatique
- 11h30 — Du langage à l’action : compilation et typage
Xavier Leroy - INRIA
- 15 février
- 10h30 - Les systèmes embarqués et l’informatisation des objets
- 11h30 — La certification, ou comment faire confiance au logiciel pour
l’avionique critique
Gérard Ladier - Airbus
- 22 février
- 10h30 - À la chasse aux bugs : la vérification des programmes et circuits
- 11h30 — La vérification des programmes par interprétation abstraite
Patrick Cousot - École Normale Supérieure - 12h00 — Preuve et calcul, des rapports intimes
Gilles Dowek - École Polytechnique
- 14 mars
- 10h30 - Les réseaux, un espace d’innovation exceptionnel
- 11h30 — Les moteurs de recherches, technologie et enjeux
François Bourdoncle - Exalead - 12h00 — Systèmes pair-à-pair et diffusion épidémique d’information
Laurent Massoulié - Thomson
- 21 mars
- 10h30 Présentation : Images et vidéos, de la théorie aux applications
- 10h35 — De l’imagerie médicale au patient virtuel
Nicholas Ayache - INRIA - 11h10 — Pourquoi le digital révolutionne la photographie
Frédéric Guichard - DxO - 11h50 — Enjeux et innovations du traitement d’image pour la télévision
haute définition
Stéphane Mallat - Let It Wave
- 28 mars
- 10h30 La cryptologie, science des messages secrets et des transactions
sécurisées
Jacques Stern - École normale supérieure et Ingenico - 11h30 - Les grands challenges du numérique