10:45 to 11:30
Symposium

Abstract machines, formal verification and cellular biochemistry

François Fages
Computing and Bioinformatics
10:45 to 11:30
    Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Speaker(s)

    François Fages

    INRIA - Paris - Rocquencourt

    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