cours - séminaires
Pourquoi et comment le monde devient numérique
25 janvier 2008
Cours : Les algorithmes, cœur de l'informatique
Regarder le cours
télécharger le support de cours
Séminaire : Algorithmes probabilistes sur de grandes masses de données, par Philippe Flajolet (INRIA). Regarder le séminaire
télécharger le support du séminaire
Philippe Flajolet est directeur de recherche à l'INRIA et membre de l'Académie des sciences. C'est un des grands spécialistes mondiaux de l'algorithmique exacte ou probabiliste et de ses rapports avec les mathématiques.
1er février 2008
Cours : Des circuits aux systèmes sur puces
Regarder le cours
télécharger le support de cours
Séminaire : La course à l'infiniment petit et ses challenges technologiques, par Laurent Thenie (Cadence Design Systems)
Regarder le séminaire
Laurent Thenie est ingénieur chez Cadence Design Systems, société leader des outils conception des circuits électroniques. C'est un spécialiste des processus de fabrication et du test des circuits.
8 février 2008
Cours : Les langages de programmation, vecteurs de la pensée informatique
Regarder le cours
télécharger le support de cours
télécharger le support de cours (format pps)
Séminaire : Du langage à l'action : compilation et typage, par Xavier Leroy (INRIA)
Regarder le séminaire
télécharger le support de séminaire
Xavier Leroy est directeur de recherche à l'INRIA. C'est un spécialiste des langages de programmation et de leur traitement et l'un des principaux auteurs du système CAML, distribué à grande échelle dans les mondes académiques et industriels. Il a contribué à fonder la société Trusted Logic.
15 février 2008
Cours : Les systèmes embarqués et l'informatisation des objets
Regarder le cours
télécharger le support de cours
Séminaire : La certification, ou comment faire confiance au logiciel pour l'avionique critique, par Gérard Ladier (Airbus)
Regarder le séminaire
télécharger le support de séminaire
Gérard Ladier est expert senior en méthodes et qualité pour l'informatique embarquée chez Airbus. Il est aussi le responsable européen du comité international de définition des processus de certification de logiciels.
22 février 2008
Cours : A la chasse aux bugs : la vérification des programmes et circuits
Regarder le cours
télécharger le support de cours
Séminaire : La vérification des programmes par interprétation abstraite, par Patrick Cousot (Ecole Normale Supérieure)
Regarder le séminaire
télécharger le support de séminaire
Séminaire : Preuve et calcul, des rapports intimes, par Gilles Dowek (Ecole Polytechnique)
Regarder le séminaire
télécharger le support de séminaire
Patrick Cousot est professeur à l'Ecole normale supérieure. C'est l'inventeur de l'interprétation abstraite, une technique mathématique permettant d'assurer l'absence de certains bugs dans les programmes, en particulier les bugs arithmétiques critiques. Cette technique devient maintenant standard sur le plan industriel.
Gilles Dowek est professeur à l'Ecole polytechnique. Il s'intéresse aux relations entre le calcul et le raisonnement, en mathématique et en informatique. Son dernier ouvrage, les métamorphoses du calcul, a reçu le grand prix de philosophie de l'Académie française.
14 mars 2008
Cours, 10h30-11h30 : Les réseaux, un espace d'innovation exceptionnel
Regarder le cours
télécharger le support de cours
télécharger le diaporama (pps)
Séminaire, 11h30-12h00 : Les moteurs de recherches, technologie et enjeux, par François Bourdoncle (Exalead).
Regarder le séminaire
Séminaire, 12h00-12h30 : Systèmes pair-à-pair et diffusion épidémique d’information, par Laurent Massoulié (Thomson).
Regarder le séminaire
télécharger le support de séminaire
télécharger le diaporama (pps)
François Bourdoncle est consultant et co-fondateur de la société Exalead, qui développe des moteurs de recherches de nouvelle génération avec en particulier des composantes lingusitiques, ainsi que les interfaces homme-machine associées.
Laurent Massoulié est chercheur au Laboratoire de Paris de Thomson. C'est un spécialiste de la modélisation et de l'analyse du trafic de l'information sur Internet, ainsi que des tranmissions haut-débit de pair à pair.
21 mars 2008
Présentation, 10h30-10h35 : Images et vidéos, de la théorie aux applications
Regarder le cours
Séminaire, 10h35-11h10 : De l'imagerie médicale au patient virtuel, par Nicholas Ayache (INRIA).
Regarder le séminaire
télécharger le support de séminaire
Séminaire, 11h10-11h50 : Pourquoi le digital révolutionne la photographie, par Frédéric Guichard (DxO).
Séminaire, 11h50-12h30 : Enjeux et innovations du traitement d'image pour la télévision haute définition, par Stéphane Mallat (Let It Wave).
Regarder le séminaire
Nicholas Ayache est directeur de recherche à l'INRIA. Il s'intéresse au traitement numérique des images et à ses applications médicales pour la modélisation d'organes, le diagnostic, et la thérapie.
Fréderic Guichard est directeur sciencifique de la société DxO Labs, qui produit des logiciels de mesures d'objectifs photographiques et de correction automatique de l'ensemble des aberrations en photographie.
Stéphane Mallat est professeur à l'Ecole polytechnique et PDG de la société Let It Wave. C'est un spécialiste de la théorie mathématique des ondelettes et de la compression adaptative de photos et vidéos.
28 mars 2008
Séminaire, 10h30-11h30 : La cryptologie, science des messages secrets et des transactions sécurisées, par Jacques Stern (Ecole normale supérieure et INGENICO).
Cours de conclusion, 11h30 - 12h30 : Les grands challenges du numérique.
Regarder le cours
télécharger le support de cours
Jacques Stern est professeur à l'Ecole normale supérieure et président de la société INGENICO. C'est un spécialiste de la science du secret et de ses applications. Il a reçu la médaille d'or du CNRS en 2006.
Programme des cours et des séminaires
télécharger
English