Vendredi 28 mars 2008 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 11:30 - 12:30 Sauter le player vidéo Youtube Documents et médias Télécharger le support pdf (691.49 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
