Informatique et Bio-informatique

Vendredi 23 mai 2008

9h30 Ouverture par le Pr Gérard Berry, Collège de France
 regarder la vidéo

9h45 Le système immunitaire, un grand système d’informations
Pr Philippe Kourilsky, Collège de France
 regarder la vidéo

10h30 pause

10h45 Machines abstraites, vérification formelle et biochimie cellulaire
François Fages, INRIA - Paris - Rocquencourt
 regarder la vidéo

11h30 L’approche calculatoire des neurosciences
Alexandre Pouget, U. Rochester et Collège de France
 regarder la vidéo

12h15 Questions et discussion

14h00 Embedded Everywhere, the Physical Web (séance en anglais)
L’informatique enfouie partout, ou le Web des objets
Alberto Sangiovanni-Vincentelli, UC Berkeley, et GIE Parades, Rome
 regarder la vidéo

15h00 pause

15h15 Sécurité informatique
Pr Martin Abadi, UC Santa Cruz and Microsoft Research, USA
 regarder la vidéo

16h15 Questions et discussions

Ce colloque clôture le cycle de cours « Pourquoi et comment le monde devient numérique » enseigné par le Pr Gérard Berry titulaire de la chaire d’Innovation technologique - Liliane Bettencourt 2007/2008.

La matinée sera consacrée à trois exposés de bio-informatique, une jonction de disciplines fondamentale pour l’avenir. L’aspect informationnel des systèmes biologiques y sera présenté à travers trois types de recherches : la création et la gestion de l’information immunitaire, le fonctionnement calculatoire des groupes de neurones et l’application des techniques de preuves de programmes et de circuits à l’étude des réactions biochimiques dans la cellule, animés par :

- Pr Philippe Kourilsky, Collège de France, titulaire de la chaire d’Immunologie moléculaire, spécialiste en génétique moléculaire, issu de l'École Polytechnique. Il préside la Singapore Immunology Network (SigN), au sein duquel un institut d’immunologie est en cours de création.

- François Fages, directeur de recherches à l’INRIA - Paris - Rocquencourt est responsable du projet Contraintes. Ses spécialités sont la logique mathématique et la théorie de la programmation. Ses centres d’intérêts actuels sont la programmation par contrainte pour la résolution de problèmes combinatoires, et la modélisation informatique des processus biochimiques au niveau de la cellule.

- Pr Alexandre Pouget, université de Rochester, USA, où il dirige le laboratoire de neurosciences cognitives computationelle. Sa recherche se concentre sur le développement de théories du calcule de la représentation dans les réseaux de neurones biologiques, avec des applications dans les domaines de la perception, la prise de décision, l’apprentissage et le contrôle moteur.

L’après-midi comportera deux exposés sur deux sujets clés de l’informatique du XXIe siècle : l’insertion de l’ensemble des objets dans le grand réseau qu’est le Web et le problème général de la sécurité de l’information dans les ordinateurs, objets et réseaux, animés par :

- Alberto Sangiovanni-Vincentelli, titulaire de la chaire Edgar L. and Harold. H. Buttner d'électronique et informatique à l’Université de Berkeley, et créateur et directeur du GIE européen PARADES (Project on Advanced Research on Architectures and Design of Electronic Systems) à Rome. Il est co-fondateur des sociétés Cadence Design Systems et Synopsys, les deux leaders de la CAO électronique. Il est Chief Technology Advisor de Cadence.

- Pr Martín Abadi, professeur d’informatique, université de Californie, Santa Cruz et « principal researcher » à Microsoft Research. Il s’intéresse aux langages de programmation et à la sécurité informatique. En 2007, il a reçu le « SIGOPS Hall of Fame Award » et le « SIGSAC Outstanding Innovation Award » de l’Association for Computing Machinery pour ses travaux sur la sécurité des systèmes distribués.