23 mai 2008 15:15 à 16:15 Colloque Sécurité informatique Martin Abadi Informatique et Bio-informatique 23 mai 2008 15:15 à 16:15 Partager Facebook X (ex-Twitter) 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 15:15 - 16:15 Sauter le player vidéo Youtube Intervenant(s) Martin Abadi Informaticien, Chercheur à l'Université de Californie à Santa Cruz (UCSC), Professeur invité, Collège de France Événements Précédent Colloque 23 mai 2008 09:30 à 09:45 Gérard Berry Ouverture Colloque 23 mai 2008 09:45 à 10:30 Philippe Kourilsky Le système immunitaire, un grand système d'informations Colloque 23 mai 2008 10:45 à 11:30 François Fages Machines abstraites, vérification formelle et biochimie cellulaire Colloque 23 mai 2008 11:30 à 12:15 Alexandre Pouget L’approche calculatoire des neurosciences Colloque 23 mai 2008 14:00 à 15:00 Alberto Sangiovanni-Vincentelli Embedded Everywhere, the Physical Web Colloque 23 mai 2008 15:15 à 16:15 Martin Abadi Sécurité informatique Suivant Voir aussi Gérard Berry, chaire Innovation technologique Liliane Bettencourt Informatique et Bio-informatique
Martin Abadi Informaticien, Chercheur à l'Université de Californie à Santa Cruz (UCSC), Professeur invité, Collège de France
Colloque 23 mai 2008 09:45 à 10:30 Philippe Kourilsky Le système immunitaire, un grand système d'informations
Colloque 23 mai 2008 10:45 à 11:30 François Fages Machines abstraites, vérification formelle et biochimie cellulaire
Colloque 23 mai 2008 14:00 à 15:00 Alberto Sangiovanni-Vincentelli Embedded Everywhere, the Physical Web
