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

    Colloque
    09:30 à 09:45
    Gérard Berry

    Ouverture
    Colloque
    09:45 à 10:30
    Philippe Kourilsky

    Le système immunitaire, un grand système d'informations
    Colloque
    10:45 à 11:30
    François Fages

    Machines abstraites, vérification formelle et biochimie cellulaire
    Colloque
    11:30 à 12:15
    Alexandre Pouget

    L’approche calculatoire des neurosciences
    Colloque
    14:00 à 15:00
    Alberto Sangiovanni-Vincentelli

    Embedded Everywhere, the Physical Web
    Colloque
    15:15 à 16:15
    Martin Abadi

    Sécurité informatique

    Voir aussi

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