A la une

@ Inria / Photo S. Tetu - La Compagny - Conception Comme un arbre

Voeux 2013

Inria vous souhaite une année 2013 pleine de rêves numériques

21/12/2012

En 2013, nos chercheurs continuent d'inventer pour vous la société numérique de demain.

Mots-clés :

Distinction

Patrick Valduriez distingué ACM Fellow

Nathaly Mermet, Technoscope - 13/12/2012

La prestigieuse distinction de l’Association for Computing Machinery (ACM) vient d’être décernée pour la troisième fois à un français. Un grand honneur pour Patrick Valduriez, Directeur de Recherche Inria et responsable de l’équipe-projet Zenith commune avec le LIRMM* à Montpellier.

Mots-clés :

Preuve informatique

La précision des ordinateurs au service des mathématiques

Nathaly Mermet, Technoscope - 6/12/2012

Avec l’équipe Typical d’Inria Saclay - Ile-de-France, l’équipe Marelle de Sophia Antipolis a largement participé à l’aventure du projet Mathematical Components, sous la houlette de Georges Gonthier, dans le cadre du laboratoire commun Inria Microsoft Research.

Retour sur une expérience passionnante avec l’une des chercheuses de Marelle, Laurence Rideau.

Mots-clés :

Preuve informatique

La preuve mathématique par informatique !

Nathaly Mermet - 22/11/2012

Une démonstration formelle complète, certifiée par le logiciel Coq, a été annoncée en septembre par Georges Gonthier et son équipe du laboratoire commun Inria Microsoft Research.

Ces travaux rendent artificielle l’opposition entre informatique et mathématiques, le dénominateur commun étant la logique. Parmi les "compagnons de route" de Georges Gonthier, deux jeunes chercheurs se réjouissent d’avoir participé à l’aventure et "grandi" avec le projet Mathematical Components (MathComp). Témoignages…

Mots-clés :

Preuve informatique

"Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !"

Françoise Breton - 22/11/2012

Six années se sont écoulées entre le début du projet et la fin de la preuve du théorème de Feit et Thompson réalisée le 20 septembre 2012. Récit d’une aventure moderne.

Entretien avec Georges Gonthier, laboratoire commun Microsoft Research-Inria.

Mots-clés :

Preuve informatique

Un grand succès pour la preuve informatique

Françoise Breton - 22/11/2012

6 ans après la démonstration par ordinateur du théorème des quatre couleurs, Georges Gonthier et son équipe réussissent la démonstration, autrement plus complexe, du théorème de Feit et Thompson, un théorème central pour la théorie des groupes et leur classification. Grand pas pour les mathématiques, qui s’appuient de plus en plus sur la preuve par ordinateur, c’est surtout une réussite pour l’informatique qui montre là sa capacité à déployer des outils et des techniques de qualité pour codifier les mathématiques.

Mots-clés :

Culture numérique

Inriality, une fenêtre ouverte sur le monde numérique

Céline Acharian - 15/11/2012

Inria vient de lancer Inriality, espace ouvert et participatif d'échanges et de réflexion sur la civilisation numérique. Cette plateforme, qui naît à côté du site institutionnel Inria.fr, sera un lieu de dialogue où chacun sera libre d'apporter sa contribution.

Mots-clés :

Eitan Altman et Joël Cibert, lauréats du Prix France Télécom et Philippe Taquet - © Brigitte Eymann - Académie des Sciences

Théorie des jeux

Prix France Telecom : au-delà de la reconnaissance, de belles perspectives pour la théorie des jeux

Nathaly Mermet, Technoscope - 12/11/2012

Le Prix France Télécom de l’Académie des Sciences a été remis conjointement le 15 octobre dernier à Eitan Altman, chercheur Inria et membre associé de l’UPMC (Paris 6) et Joël Cibert, directeur de recherche CNRS à l’Institut Néel à Grenoble. Prix prestigieux, il marque la reconnaissance d’un domaine en plein essor.

Web sémantique

SemanticPedia & DBpédia : un double évènement

Nathaly Mermet, Technoscope - 6/11/2012

Le 19 novembre prochain sera signée une convention entre le ministère de la Culture et de la Communication, la fondation Wikimedia France et Inria autour de la plateforme SemanticPedia. Au-delà de la convention, ce sera l’occasion d’inaugurer le premier projet de cette plateforme qu’est le chapitre français de DBpédia.

Distinction

David Andreu reçoit le 1er prix FIEEC aux Rendez-Vous Carnot

Christian Guyard - Technoscope - 19/10/2012

La Fédération des Industries Electriques, Electroniques et de Communication décernait pour la deuxième fois ses prix de la recherche appliquée à l'occasion des "Rendez-Vous Carnot" à Lyon. David Andreu, enseignant chercheur à l’université Montpellier 2, membre permanent de l’équipe-projet Inria Demar, reçoit le premier prix de 15 k€ pour ses travaux sur la robotique et la stimulation électro-fonctionnelle appliquée à la santé, concrétisés dans de nouveaux appareils de la société Vivaltis. Ce prix récompense des chercheurs travaillant dans des structures publiques dont les travaux effectués en France ont été industrialisés par une PMI-ETI basée en France.