Aller au contenu principal

Rechercher

Accès rapides

Agenda
Audios & vidéos
Chaires

EN

EN

Navigation principale

Les enseignements
Recherche
Bibliothèques
Éditions
Le Collège de France

Accès rapides

Agenda
Audios & vidéos
Chaires

23 mai 2008

10:45 à 11:30

Colloque

Machines abstraites, vérification formelle et biochimie cellulaire

François Fages

Informatique et Bio-informatique

23 mai 2008

10:45 à 11:30

Facebook
Linkedin
Copier le lien
Flux RSS Audiovisuel

Vendredi 23 mai 2008

Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot

En libre accès, dans la limite des places disponibles

10:45 - 11:30

Sauter le player vidéo Youtube

Intervenant(s)

François Fages

INRIA - Paris - Rocquencourt

Événements

Ouverture

Philippe Kourilsky

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

François Fages

Machines abstraites, vérification formelle et biochimie cellulaire

Alexandre Pouget

L’approche calculatoire des neurosciences

Alberto Sangiovanni-Vincentelli

Embedded Everywhere, the Physical Web

Sécurité informatique

Voir aussi

Gérard Berry, chaire Innovation technologique Liliane Bettencourt

Informatique et Bio-informatique

Fil d'Ariane

Accueil
Le Collège
Les chaires
Chaires annuelles
Chaire annuelle Innovation technologique Liliane Bettencourt
Gérard Berry, chaire Innovation technologique Liliane Bettencourt
Enseignements
Informatique et Bio-informatique
Machines abstraites, vérification formelle et biochimie cellulaire

Accès direct

Agenda
Audios & vidéos
Actualités
Presse et kit logo
Le Collège en 10 questions
Formation doctorale
Travailler au Collège de France
Marchés publics
La Lettre du Collège
Visiter le Collège de France
Mécènes et donateurs

Nos autres sites

Intranet
Omnia
Salamandre
Fondation du Collège de France
Programme PAUSE
Avenir Commun Durable
La Vie des idées
Campus de l’innovation pour les lycées

S’inscrire à notre lettre d’information

Nous suivre

Faire un don

Footer menu

Accès et contacts
Mentions légales
Crédits
Accessibilité : non conforme