Après sa leçon inaugurale du 17 janvier, Gérard Berry traitera tous les vendredis à 10h30 un thème lié au monde numérique : cryptologie, algorithmes, réseaux, image, sécurité etc. Chaque cours sera suivi d’un ou deux séminaire(s) animé(s) par un expert, chercheur ou industriel. Et pour eux qui ne peuvent y assister, les cours seront filmés et diffusés en léger différé sur le site du Collège de France. ( ici)
Voici le programme :
25 janvier 2008
Cours : Les algorithmes, coeur de l’informatique
Séminaire : Algorithmes probabilistes sur de grandes masses de données, par Philippe Flajolet (INRIA).
1er février 2008
Cours : Des circuits aux systèmes sur puces.
Séminaire : La course à l’infiniment petit et ses challenges technologiques, par Laurent Thenie (Cadence Design Systems).
8 février 2008
Cours : Les langages de programmation, vecteurs de la pensée informatique.
Séminaire : Du langage à l’action : compilation et typage, par Xavier Leroy (INRIA).
15 février 2008
Cours : Les systèmes embarqués et l’informatisation des objets.
Séminaire : La certification, ou comment faire confiance au logiciel pour l’avionique critique, par Gérard Ladier (Airbus).
22 février 2008
Cours : A la chasse aux bugs : la vérification des programmes et circuits.
Séminaires : La vérification des programmes par interprétation abstraite, par Patrick Cousot (Ecole Normale Supérieure) et Preuve et calcul, des rapports intimes, par Gilles Dowek (Ecole Polytechnique).
14 mars 2008
Cours : Les réseaux, un espace d’innovation exceptionnel.
Séminaires : Les moteurs de recherches, technologie et enjeux, par François Bourdoncle (Exalead) et Systèmes pair-à-pair et diffusion épidémique d’information, par Laurent Massoulié (Thomson).
21 mars 2008
Présentation : Images et vidéos, de la théorie aux applications.
Séminaires : De l’imagerie médicale au patient virtuel, par Nicholas Ayache (INRIA), Pourquoi le digital révolutionne la photographie, par Frédéric Guichard (DxO) et Enjeux et innovations du traitement d’image pour la télévision haute définition, par Stéphane Mallat (Let It Wave).
28 mars 2008
Séminaire : La cryptologie, science des messages secrets et des transactions sécurisées, par Jacques Stern (Ecole normale supérieure et INGENICO).
Cours de concusion : Les grands challenges du numérique.
Amphithéâtre Marguerite de Navarre
11, place Marcelin Berthelot
75005 Paris
(les cours sont en accès libre, dans la limite des places disponibles)