10:30 - 11:30am
Lecture

Bug hunting : checking programs and circuits

Gérard Berry
Why and how the world is going digital
10:30 - 11:30am
    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 - 11:30am

    Probabilistic algorithms for large data sets
    Philippe Flajolet

    Seminar
    11:30am - 12:30pm

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

    Lecture
    10:30 - 11:30am

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

    Seminar
    11:30am - 12:30pm

    Programming languages, vectors of IT thinking
    Gérard Berry

    Lecture
    10:30 - 11:30am

    From language to action : compilation and typing
    Xavier Leroy

    Seminar
    11:30am - 12:30pm

    Embedded systems and the computerization of objects
    Gérard Berry

    Lecture
    10:30 - 11:30am

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

    Seminar
    11:30am - 12:30pm

    Bug hunting : checking programs and circuits
    Gérard Berry

    Lecture
    10:30 - 11:30am

    Program verification through abstract interpretation
    Patrick Cousot

    Seminar
    11:30am - 12:30pm

    Proof and calculation, an intimate relationship
    Gilles Dowek

    Seminar
    12:00 - 1:00pm

    Networks: an exceptional space for innovation
    Gérard Berry

    Lecture
    10:30 - 11:30am

    Search engines, technology and challenges
    François Bourdoncle

    Seminar
    11:30am - 12:30pm

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

    Seminar
    12:00 - 1:00pm

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

    Lecture
    10:30 - 11:30am

    From medical imaging to the virtual patient
    Nicholas Ayache

    Seminar
    10:35 - 11:35am

    Why digital is revolutionizing photography
    Frédéric Guichard

    Seminar
    11:10am - 12:10pm

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

    Seminar
    11:50am - 12:50pm

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

    Seminar
    10:30 - 11:30am
    Not recorded

    Digital Challenges
    Gérard Berry

    Lecture
    11:30am - 12:30pm

    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