10:30 to 11:30
Lecture

Bug hunting : checking programs and circuits

Gérard Berry
Why and how the world is going digital
10:30 to 11:30
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Documents and media

    Speaker(s)

    Gérard Berry

    Professor at the Collège de France

    Events

    Algorithms, the heart of computing
    Gérard Berry

    Lecture
    10:30 to 11:30

    Probabilistic algorithms for large data sets
    Philippe Flajolet

    Seminar
    11:30 to 12:30

    From circuits to systems-on-chips
    Gérard Berry

    Lecture
    10:30 to 11:30

    The race to the infinitely small and its technological challenges
    Laurent Thenie

    Seminar
    11:30 to 12:30

    Programming languages, vectors of IT thinking
    Gérard Berry

    Lecture
    10:30 to 11:30

    From language to action : compilation and typing
    Xavier Leroy

    Seminar
    11:30 to 12:30

    Embedded systems and the computerization of objects
    Gérard Berry

    Lecture
    10:30 to 11:30

    Certification, or how to put your trust in software for critical avionics
    Gérard Ladier

    Seminar
    11:30 to 12:30

    Bug hunting : checking programs and circuits
    Gérard Berry

    Lecture
    10:30 to 11:30

    Program verification through abstract interpretation
    Patrick Cousot

    Seminar
    11:30 to 12:30

    Proof and calculation, an intimate relationship
    Gilles Dowek

    Seminar
    12:00 to 13:00

    Networks: an exceptional space for innovation
    Gérard Berry

    Lecture
    10:30 to 11:30

    Search engines, technology and challenges
    François Bourdoncle

    Seminar
    11:30 to 12:30

    Peer-to-peer systems and epidemic information dissemination
    Laurent Massoulié

    Seminar
    12:00 to 13:00

    Images and videos, from theory to applications
    Gérard Berry

    Lecture
    10:30 to 11:30

    From medical imaging to the virtual patient
    Nicholas Ayache

    Seminar
    10:35 to 11:35

    Why digital is revolutionizing photography
    Frédéric Guichard

    Seminar
    11:10 to 12:10

    Challenges and innovations in image processing for high-definition television
    Stéphane Mallat

    Seminar
    11:50 to 12:50

    Cryptology, the science of secret messages and secure transactions
    Jacques Stern

    Seminar
    10:30 to 11:30
    Not recorded

    Digital Challenges
    Gérard Berry

    Lecture
    11:30 to 12:30

    See also

    Seminar related to the lecture: Why and how the world is going digital
    Gérard Berry, chair Technological Innovation Liliane Bettencourt
    Why and how the world is going digital