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

    Les algorithmes, coeur de l'informatique
    Gérard Berry

    Cours
    10:30 à 11:30

    Algorithmes probabilistes sur de grandes masses de données
    Philippe Flajolet

    Séminaire
    11:30 à 12:30

    Des circuits aux systèmes sur puces
    Gérard Berry

    Cours
    10:30 à 11:30

    La course à l'infiniment petit et ses challenges technologiques
    Laurent Thenie

    Séminaire
    11:30 à 12:30

    Les langages de programmation, vecteurs de la pensée informatique
    Gérard Berry

    Cours
    10:30 à 11:30

    Du langage à l'action : compilation et typage
    Xavier Leroy

    Séminaire
    11:30 à 12:30

    Les systèmes embarqués et l'informatisation des objets
    Gérard Berry

    Cours
    10:30 à 11:30

    La certification, ou comment faire confiance au logiciel pour l'avionique critique
    Gérard Ladier

    Séminaire
    11:30 à 12:30

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

    Cours
    10:30 à 11:30

    La vérification des programmes par interprétation abstraite
    Patrick Cousot

    Séminaire
    11:30 à 12:30

    Preuve et calcul, des rapports intimes
    Gilles Dowek

    Séminaire
    12:00 à 13:00

    Les réseaux, un espace d'innovation exceptionnel
    Gérard Berry

    Cours
    10:30 à 11:30

    Les moteurs de recherches, technologie et enjeux
    François Bourdoncle

    Séminaire
    11:30 à 12:30

    Systèmes pair-à-pair et diffusion épidémique d'information
    Laurent Massoulié

    Séminaire
    12:00 à 13:00

    Images et vidéos, de la théorie aux applications
    Gérard Berry

    Cours
    10:30 à 11:30

    De l'imagerie médicale au patient virtuel
    Nicholas Ayache

    Séminaire
    10:35 à 11:35

    Pourquoi le digital révolutionne la photographie
    Frédéric Guichard

    Séminaire
    11:10 à 12:10

    Enjeux et innovations du traitement d'image pour la télévision haute définition
    Stéphane Mallat

    Séminaire
    11:50 à 12:50

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

    Séminaire
    10:30 à 11:30
    Non enregistré

    Les grands Challenges du numérique
    Gérard Berry

    Cours
    11:30 à 12:30

    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