15:15 to 16:15
Symposium

Computer security

Martin Abadi
Computing and Bioinformatics
15:15 to 16:15
    Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Speaker(s)

    Martin Abadi

    Computer scientist, Researcher at the University of California at Santa Cruz (UCSC), Visiting Professor, Collège de France

    Events

    Opening
    Gérard Berry

    Symposium
    09:30 to 09:45

    The immune system, a vast information system
    Philippe Kourilsky

    Symposium
    09:45 to 10:30

    Abstract machines, formal verification and cellular biochemistry
    François Fages

    Symposium
    10:45 to 11:30

    The computational approach to neuroscience
    Alexandre Pouget

    Symposium
    11:30 to 12:15

    Embedded Everywhere, the Physical Web
    Alberto Sangiovanni-Vincentelli

    Symposium
    14:00 to 15:00

    Computer security
    Martin Abadi

    Symposium
    15:15 to 16:15

    See also

    Gérard Berry, chair Technological Innovation Liliane Bettencourt
    Computing and Bioinformatics