Sites Inria

Il y a 6 Résultats avec le mot clé : "Distinction"

Carte colorée en quatre couleurs. Coq a permis de prouver en 2004 le théorème des quatre couleurs. - Photo Sarasan (modifiée) - CC BY-SA 3.0

Distinction

Un prix pour Coq

8/01/2014

Le logiciel Coq est récompensé par le prix SIGPLAN1 Programming Languages Software Award en janvier 2014. Cet assistant de preuve constitue depuis près de trente ans un support précieux pour les informaticiens qui l’utilisent comme outil d’aide à l’écriture et à la vérification de programmes. Très performant, il séduit désormais les mathématiciens.

Mots-clés :

Accueil > Actualité > Actualités Inria > Un prix pour Coq

Lire la suite

Prix et distinction

Annabelle Collin obtient le prix de SMAI-GAMNI 2015

27/03/2015

Annabelle Collin vient de se voir attribuer le prix de SMAI-GAMNI 2015 pour sa thèse intitulée "Asymptotic analysis in cardiac electrophysiology. Applications in modeling and in data assimilation." 

Mots-clés :

Accueil > Centre > Paris > Actualités > Annabelle Collin obtient le prix de SMAI-GAMNI 2015

Lire la suite

Distinction

Perrine Berment reçue à Matignon

Laurence Chevilllot - 11/07/2016

Perrine Berment, doctorante dans l’équipe Monc du centre de recherche Inria Bordeaux – Sud-Ouest, et lauréate aquitaine du concours MT180, a été reçue hier soir aux côtés des autres finalistes du concours par le premier ministre, Manuel Valls. 

Mots-clés :

Accueil > Centre > Bordeaux > Actualités > Perrine Berment reçue à Matignon

Lire la suite

Jean-Pierre Verjus

Distinction

Jean-Pierre Verjus diplôme honneur Grenoble Ecole Management

Marie Collin (*) - 9/11/2010

Inria Grenoble - Rhône-Alpes et l’École de management des systèmes d’information (Grenoble École de Management) ont organisé un workshop scientifique le 9 novembre 2010, en l’honneur de Jean-Pierre Verjus, pour célébrer son parcours exceptionnel depuis plus de 40 ans au service de l’enseignement et de la recherche. A cette occasion, il a reçu le "Diplôme d'Honneur" de Grenoble École de management.

Mots-clés :

Accueil > Centre > Grenoble > Actualités > Jean-Pierre Verjus diplôme honneur Grenoble Ecole Management

Lire la suite

© Inria / Photo H. Raguet Inria / Photo H. Raguet

Vie privée

Prix européen CNIL - Inria

Sarah Alzieu - 29/01/2016

Inria et la CNIL viennent de lancer un prix européen pour récompenser des articles scientifiques sur le sujet de la protection des données personnelles et de la vie privée. S’inscrivant dans le cadre de la convention de partenariat signée par Inria et la CNIL en 2011, le prix sera l’occasion de mettre en lumière les travaux de recherche dans le domaine de la protection des données. Il permet de sensibiliser l’ensemble de la communauté scientifique à la nécessité de développer des projets de recherche en lien avec ces thématiques.

Mots-clés :

Accueil > Actualité > Actualités Inria > Prix européen CNIL - Inria

Lire la suite

Les « Prix Inria »

Instaurés en 2011, les Prix Inria ont pour vocation de promouvoir les contributions et succès de celles et ceux qui font avancer les sciences informatiques et mathématiques, qui participent ainsi au développement de notre monde numérique.

Mots-clés :

Accueil > Institut > Inria en bref > Prix Inria > Présentation

Lire la suite

Haut de page

Suivez Inria