Vendredi 25 janvier 2008 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 10:30 - 11:30 Sauter le player vidéo Youtube Écouter l'audio Télécharger l'audio Lecture audio Documents et médias Télécharger le support pdf (536.33 Ko) Intervenant(s) Gérard Berry Professeur du Collège de France Événements Précédent Cours 25 Jan 2008 10:30 à 11:30 Gérard Berry Les algorithmes, coeur de l'informatique Séminaire 25 Jan 2008 11:30 à 12:30 Philippe Flajolet Algorithmes probabilistes sur de grandes masses de données Cours 01 Fév 2008 10:30 à 11:30 Gérard Berry Des circuits aux systèmes sur puces Séminaire 01 Fév 2008 11:30 à 12:30 Laurent Thenie La course à l'infiniment petit et ses challenges technologiques Cours 08 Fév 2008 10:30 à 11:30 Gérard Berry Les langages de programmation, vecteurs de la pensée informatique Séminaire 08 Fév 2008 11:30 à 12:30 Xavier Leroy Du langage à l'action : compilation et typage Cours 15 Fév 2008 10:30 à 11:30 Gérard Berry Les systèmes embarqués et l'informatisation des objets Séminaire 15 Fév 2008 11:30 à 12:30 Gérard Ladier La certification, ou comment faire confiance au logiciel pour l'avionique critique Cours 22 Fév 2008 10:30 à 11:30 Gérard Berry À la chasse aux bugs : la vérification des programmes et circuits Séminaire 22 Fév 2008 11:30 à 12:30 Patrick Cousot La vérification des programmes par interprétation abstraite Séminaire 22 Fév 2008 12:00 à 13:00 Gilles Dowek Preuve et calcul, des rapports intimes Cours 14 Mar 2008 10:30 à 11:30 Gérard Berry Les réseaux, un espace d'innovation exceptionnel Séminaire 14 Mar 2008 11:30 à 12:30 François Bourdoncle Les moteurs de recherches, technologie et enjeux Séminaire 14 Mar 2008 12:00 à 13:00 Laurent Massoulié Systèmes pair-à-pair et diffusion épidémique d'information Cours 21 Mar 2008 10:30 à 11:30 Gérard Berry Images et vidéos, de la théorie aux applications Séminaire 21 Mar 2008 10:35 à 11:35 Nicholas Ayache De l'imagerie médicale au patient virtuel Séminaire 21 Mar 2008 11:10 à 12:10 Frédéric Guichard Pourquoi le digital révolutionne la photographie Séminaire 21 Mar 2008 11:50 à 12:50 Stéphane Mallat Enjeux et innovations du traitement d'image pour la télévision haute définition Séminaire 28 Mar 2008 10:30 à 11:30 Jacques Stern La cryptologie, science des messages secrets et des transactions sécurisées Non enregistré Cours 28 Mar 2008 11:30 à 12:30 Gérard Berry Les grands Challenges du numérique Suivant Voir aussi Séminaire en relation avec le cours : Pourquoi et comment le monde devient numérique Gérard Berry, chaire Innovation technologique Liliane Bettencourt Pourquoi et comment le monde devient numérique
