Avancées en Sciences de l'Information
Séance publique et gratuite le mardi 9 octobre 2007, dans la limite des places disponibles, consacrée à six avancées en sciences de l'information présentées par leurs auteurs

Programme
- 14h30 Introduction par François Baccelli, de l'Académie des sciences.
- 14h35 Georges Gonthier, Centre de recherche commun INRIA-Microsoft Research : "Lethéorème des quatre couleurs: ingénierie d'une preuve formelle".
- 15h05 Gilles Schaeffer, CNRS - Laboratoire d'informatique de l'Ecole polytechnique : "Arbres couvrants canoniques, des géométries aléatoires à la compression de maillages".
- 15h35 Patrice Abry, CNRS - ENS Lyon : "Invariance d'échelle pour la modélisation du trafic Internet".
- 16h05 Laurent Massoulié, Thomson : "Diffusion épidémique d'information dans les réseaux pair-à-pair".
- 16h35 Frédéric Cazals, INRIA Sophia, projet Geometrica : "Modèles et algorithmes pour la description des interactions macro-moléculaires : le triptyque biophysique - géométrie - statistiques".
- 17h05 Sylvain Soliman, INRIA Rocquencourt, projet Contraintes : "Langages formels pour la biologie systémique dans la machine abstraite biochimique
BIOCHAM".
Académie des sciences
Mardi 9 octobre 2007 à 14h30
Grande salle des séances
23 Quai de Conti – 75006 Paris
Avancées en Sciences de l'Information de l'Académie des sciences