Gérard Berry
Chaire d'Innovation technologique Liliane Bettencourt (2007-2008)
Machines abstraites, vérification formelle et biochimie cellulaire
François Fages, INRIA - Paris - Rocquencourt (Vidéo)
Voir aussi
- colloque du 23 mai
- ouverture par le pr gérard berry
- Le système immunitaire, un grand système d'informations - Pr Philippe Kourilsky
- L'approche calculatoire des neurosciences - Alexandre Pouget
- Embedded Everywhere, the Physical Web - Alberto Sangiovanni-Vincentelli
- Sécurité informatique - Pr Martin Abadi