Rendez-vous scientifique

Forum des lauréats en informatique et en mathématiques appliquées

Sous le patronage de l’Académie des Sciences, la SMAI et Inria proposent un après-midi de découverte scientifique autour de chercheurs lauréats en 2011 de prix décernés en informatique et mathématiques appliquées.

Seront à l’honneur les lauréats des prix décernés par l’Académie des sciences dans ces disciplines mais aussi les lauréats des prix Inria et du magazine La Recherche. Chacun présentera ses travaux et les enjeux associés avant d’échanger avec l’assistance.

Le Forum s’inscrit dans la continuité des cérémonies organisées chaque année depuis 2003 par la SMAI et Inria, en l’honneur des lauréats des prix décernés par l’Académie des sciences en mathématiques appliquées et en informatique.

Programme

14h00	Accueil
14h30	Discours d’ouverture Maria J. Esteban, Présidente de la Société de Mathématiques Appliquées et Industrielles Catherine Bréchignac, Secrétaire perpétuel de l’Académie des Sciences Michel Cosnard, Président-Directeur général d’Inria
14h40	*Contrôle et non linéarité* par Jean-Michel Coron, Professeur à l'université Pierre et Marie Curie, Laboratoire Jacques Louis-Lions. Membre senior de l'Institut universitaire de France Prix Léonid Franck Echanges avec la salle
15h00	*Géométrie numérique* par Bruno Lévy, Chercheur Inria, responsable de l’équipe-projet Alice du centre Inria Nancy – Grand-Est Prix Inria du Jeune chercheur Echanges avec la salle
15h20	*Modélisation des échanges gazeux* par Vincent Giovangigli, Directeur de recherche au Centre National de la Recherche Scientifique au Centre de mathématiques Appliquées de l'École Polytechnique à Palaiseau Prix Jacques-Louis Lions Echanges avec la salle
15h40	Pause
16h00	Le génie mathématique, du théorème de quatre couleurs à la classification des groupes par Georges Gonthier, Chercheur Microsoft au sein du laboratoire commun Microsoft Research – Inria Prix de la Fondation d'entreprise EADS (informatique) Echanges avec la salle
16h20	*Les représentations parcimonieuses : un outil "miraculeux" pour le traitement des signaux et des images ?* par Rémi Gribonval, Directeur de recherche Inria, au sein de l’équipe Metiss du centre Inria Rennes - Bretagne Atlantique Prix Blaise-Pascal GAMNI-SMAI Echanges avec la salle
16h40	*Algorithmics of tropical polyhedra, and application to software verification* par Xavier Allamigeon, Chargé de recherche Inria, équipe Maxplus du centre Inria Saclay – Ile-de-France Prix de thèse Gilles-Kahn – SPECIF Echanges avec la salle
17h00	Pause
17h15	*Compcert - Compilateur C formellement certifié* par Xavier Leroy, représentant de l’équipe lauréate du Prix La Recherche en Sciences de l’information Équipe lauréate : Xavier Leroy (chercheur Inria, responsable de l'équipe-projet Gallium du centre Inria Paris - Rocquencourt), Sandrine Blazy (Professeur à l'université de Rennes 1, membre de l'équipe-projet Celtique du centre Inria Rennes – Bretagne Atlantique), Zaynah Dargaye (CEA) et Jean-Baptiste Tristan (Harvard University) Echanges avec la salle
17h35	Méthodes de Monte Carlo adaptatives par Eric Moulines, Professeur et responsable projets à Télécom-Paris Tech à Paris Prix France Télécom Echanges avec la salle
18h00	Cocktail de clôture