10:45 - 11:30am
Symposium

Abstract machines, formal verification and cellular biochemistry

François Fages
Computing and Bioinformatics
10:45 - 11:30am
    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
    9:30 - 9:45am

    The immune system, a vast information system
    Philippe Kourilsky

    Symposium
    9:45 - 10:30am

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

    Symposium
    10:45 - 11:30am

    The computational approach to neuroscience
    Alexandre Pouget

    Symposium
    11:30am - 12:15pm

    Embedded Everywhere, the Physical Web
    Alberto Sangiovanni-Vincentelli

    Symposium
    2:00 - 3:00pm

    Computer security
    Martin Abadi

    Symposium
    3:15 - 4:15pm

    See also

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