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 LinkedIn Bluesky Threads 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
