– conférences enregistrées
chaîne YouTube
(Collège de France
)
-
Algorithmes : à la recherche de l’universalité perdue
(Rachid Guerraoui, Informatique et sciences numériques 2018 – 2019)
-
Pourquoi et comment le monde devient numérique
(Gérard Berry – chaire Algorithmes, machines et langages)
- Leçon inaugurale
(56′59)
(17 janvier 2008)
- Les algorithmes, cœur de l’informatique
(52′12)
(25 janvier 2008)
Algorithmes probabilistes sur de grandes masses de données
(Philippe Flajolet)
- Des circuits aux systèmes sur puces
(1h00′19)
(1er février 2008)
La course à l’infiniment petit et ses challenges technologiques
(Laurent Thenie)
- Les langages de programmation, vecteurs de la pensée informatique
(59′30)
(8 février 2008)
Du langage à l’action : compilation et typage
(Xavier Leroy)
- Les systèmes embarqués et l’informatisation des objets
(57′43)
(15 février 2008)
La certification, ou comment faire confiance au logiciel pour l’avionique critique
(Gérard Ladier)
- À la chasse aux bugs : la vérification des programmes et circuits
(59′35)
(22 février 2008)
La vérification des programmes par interprétation abstraite
(Patrick Cousot)
Preuve et calcul, des rapports intimes
(Gilles Dowek)
- Les réseaux, un espace d’innovation exceptionnel
(14 mars 2008)
Les moteurs de recherches, technologie et enjeux
(François Bourdoncle)
Systèmes pair-à-pair et diffusion épidémique d’information
(Laurent Massoulié)
- Images et vidéos, de la théorie aux applications
(21 mars 2008)
De l’imagerie médicale au patient virtuel
(Nicholas Ayache)
Pourquoi le digital révolutionne la photographie
(Frédéric Guichard)
Enjeux et innovations du traitement d’image pour la télévision haute définition
(Stéphane Mallat)
- La cryptologie, science des messages secrets et des transactions sécurisées
(Jacques Stern)
(28 mars 2008)
Conclusion : Les grands challenges du numérique