Zoom sur

Météo du coeur - Inriality Météo du coeur - Inriality

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 :

Lire la suite

A la une

Signature Sémanticpedia ©D / R

Web sémantique

Partenariat Sémanticpédia : retour en images

Damien Dechambre - 30/11/2012

Le 19 novembre dernier, Inria, le ministère de la Culture et de la Communication et la fondation Wikimedia France ont signé une convention autour de la plateforme SemanticPedia. Cet événement inaugure le premier projet de cette plateforme qu’est le chapitre français de DBpédia.

Mots-clés :

Lire la suite

© Inria / Photo Kaksonen

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 :

Lire la suite

© Laboratoire commun Inria-Microsoft Research

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 :

Lire la suite

© Photo Bernard Lachaud

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.

Mots-clés :

Lire la suite

© Brice Goglin

Calcul haute performance

Inria en direct de SuperComputing 2012

Nathalie Lémy - 14/11/2012

Cette année encore Inria est présent au salon international SuperComputing.  Découvrez les premières images de ce rendez-vous incontournable du calcul haute performance.

Mots-clés :

Lire la suite

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.

Lire la suite

Concours

Le Castor informatique, une découverte ludique de l’informatique par les élèves

Laure Guion - 8/11/2012

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.

Lire la suite

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.

Lire la suite

Haut de page

Siège et centres de recherche Inria

Accès direct

Social