10:45 à 11:30
Colloque

Machines abstraites, vérification formelle et biochimie cellulaire

François Fages
Informatique et Bio-informatique
10:45 à 11:30
    Amphithéâtre Marguerite-de-Navarre, Site Marcelin-Berthelot
    En libre accès, dans la limite des places disponibles
    -

    Intervenant(s)

    François Fages

    INRIA - Paris - Rocquencourt

    Événements

    Ouverture
    Gérard Berry

    Colloque
    09:30 à 09:45

    Le système immunitaire, un grand système d'informations
    Philippe Kourilsky

    Colloque
    09:45 à 10:30

    Machines abstraites, vérification formelle et biochimie cellulaire
    François Fages

    Colloque
    10:45 à 11:30

    L’approche calculatoire des neurosciences
    Alexandre Pouget

    Colloque
    11:30 à 12:15

    Embedded Everywhere, the Physical Web
    Alberto Sangiovanni-Vincentelli

    Colloque
    14:00 à 15:00

    Sécurité informatique
    Martin Abadi

    Colloque
    15:15 à 16:15

    Voir aussi

    Gérard Berry, chaire Innovation technologique Liliane Bettencourt
    Informatique et Bio-informatique