10:30 à 11:30
Cours

À la chasse aux bugs : la vérification des programmes et circuits

Gérard Berry
Pourquoi et comment le monde devient numérique
10:30 à 11:30
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    En libre accès, dans la limite des places disponibles
    -

    Documents et médias

    Intervenant(s)

    Gérard Berry

    Professeur du Collège de France

    Événements

    Cours
    10:30 à 11:30
    Gérard Berry

    Les algorithmes, coeur de l'informatique
    Séminaire
    11:30 à 12:30
    Philippe Flajolet

    Algorithmes probabilistes sur de grandes masses de données
    Cours
    10:30 à 11:30
    Gérard Berry

    Des circuits aux systèmes sur puces
    Séminaire
    11:30 à 12:30
    Laurent Thenie

    La course à l'infiniment petit et ses challenges technologiques
    Cours
    10:30 à 11:30
    Gérard Berry

    Les langages de programmation, vecteurs de la pensée informatique
    Séminaire
    11:30 à 12:30
    Xavier Leroy

    Du langage à l'action : compilation et typage
    Cours
    10:30 à 11:30
    Gérard Berry

    Les systèmes embarqués et l'informatisation des objets
    Séminaire
    11:30 à 12:30
    Gérard Ladier

    La certification, ou comment faire confiance au logiciel pour l'avionique critique
    Cours
    10:30 à 11:30
    Gérard Berry

    À la chasse aux bugs : la vérification des programmes et circuits
    Séminaire
    11:30 à 12:30
    Patrick Cousot

    La vérification des programmes par interprétation abstraite
    Séminaire
    12:00 à 13:00
    Gilles Dowek

    Preuve et calcul, des rapports intimes
    Cours
    10:30 à 11:30
    Gérard Berry

    Les réseaux, un espace d'innovation exceptionnel
    Séminaire
    11:30 à 12:30
    François Bourdoncle

    Les moteurs de recherches, technologie et enjeux
    Séminaire
    12:00 à 13:00
    Laurent Massoulié

    Systèmes pair-à-pair et diffusion épidémique d'information
    Cours
    10:30 à 11:30
    Gérard Berry

    Images et vidéos, de la théorie aux applications
    Séminaire
    10:35 à 11:35
    Nicholas Ayache

    De l'imagerie médicale au patient virtuel
    Séminaire
    11:10 à 12:10
    Frédéric Guichard

    Pourquoi le digital révolutionne la photographie
    Séminaire
    11:50 à 12:50
    Stéphane Mallat

    Enjeux et innovations du traitement d'image pour la télévision haute définition
    Séminaire
    10:30 à 11:30
    Jacques Stern

    La cryptologie, science des messages secrets et des transactions sécurisées

    Non enregistré
    Cours
    11:30 à 12:30
    Gérard Berry

    Les grands Challenges du numérique

    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