Inria
Inria.fr
Inria Channel
A la une
© Inria / Photo Kaksonen
Preuve informatique
Un grand succès pour la preuve informatique
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 :
© Laboratoire commun Inria-Microsoft Research
Preuve informatique
"Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !"
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 :
© Photo Bernard Lachaud
Preuve informatique
La preuve mathématique par informatique !
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.
Mots-clés :
Météo du coeur - Inriality
Culture numérique
Inriality, une fenêtre ouverte sur le monde numérique
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 :
Concours
Le Castor informatique, une découverte ludique de l’informatique par les élèves
Le Castor informatique est un concours pour les élèves de collèges et lycées, à base de petits exercices et de jeux, pour leur montrer que l’informatique ne correspond souvent pas à ce qu’ils imaginent ! Sylvie Boldo, chercheuse dans l’équipe Toccata, et qui fait partie du comité d’organisation, nous explique l’originalité de cette initiative.
© Inria / Photo Kaksonen
Algorithmique, programmation, logiciels et architectures
Trouver la géométrie dans une meule de points
Frédéric Chazal, directeur de recherche dans l'équipe Geometrica, explique les grands principes du domaine de recherche de son équipe en calcul géométrique en se basant sur des exemples concrets d'images.
© CNRS Photothèque / Christophe Lebedinsky
Projet européen
Des métadonnées pour mieux comprendre le passé
En 2014 aura lieu le centenaire de la Première Guerre Mondiale. Mais comment commémorer un tel événement avec des éléments historiques dispersés à travers toute l’Europe, sans qu’un travail exhaustif d’historiens ait pu être mis en place ? Laurent Romary nous explique avec le projet CENDARI comment les sciences du numérique peuvent apporter une solution à ce problème et servir l’ensemble des sciences humaines.
Mots-clés :
© École Centrale Paris
Médecine numérique
Des outils modulaires et efficaces d’aide à l’interprétation des images médicales
L’imagerie médicale, scanner ou IRM, fournit de nombreuses données mais identifier l’évolution d’une maladie ou détecter une tumeur peu évolutive n’est pas chose aisée. L’équipe Galen développe des algorithmes visant à aider les médecins à identifier ces évolutions le plus tôt possible. Un travail avant tout méthodologique que l’équipe applique avec succès à de nombreuses applications comme en témoigne la forte contribution de ces chercheurs à MICCAI’2012 ainsi qu’aux colloques précédents.
Nikos Paragios, responsable de l’équipe Galen, Inria Saclay – Île-de-France
Mots-clés :
Médecine numérique
Des outils pour mieux tirer parti de l’imagerie cérébrale
L’imagerie cérébrale a beaucoup progressé ces dernières années, fournissant des données toujours plus nombreuses et de meilleure qualité. Développer des outils logiciels performants et fiables pour améliorer l’exploitation de ces images est aujourd’hui une nécessité. C’est là un rôle important d’Inria. L’équipe Parietal présente 4 articles sur ce thème à MICCAI 2012 et 4 contributions à des ateliers spécialisés, sans compter une démonstration sur le stand Inria.
Bertrand Thirion, responsable de l'équipe Parietal, Inria Saclay - Île-de-France
Mots-clés :
Labex
Le Laboratoire d'Excellence DigiCosme fait son inauguration
À l'occasion du colloque d'inauguration du Labex DigiCosme les 12 et 13 septembre 2012, retour sur les origines et les ambitions de ce projet avec une interview de Christine Paulin-Mohring, en charge de son pilotage.
Archives
