Sites Inria

Rendez-vous scientifique

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

© CNRS

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. 

  • Date : 16/11/2011
  • Lieu : Institut Henri Poincaré, 11 rue Pierre et Marie Curie 75005 Paris
  • Organisateur(s) : Inria, SMAI

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

Localisation

Mots-clés : Prix scientifique Prix informatique et mathématiques appliquées Lauréats SMAI Académie des sciences (French Academy of Sciences) Prix Inria

Haut de page

Suivez Inria