A la une

© 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

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

© CNRS Photothèque / Christophe Lebedinsky

Projet européen

Des métadonnées pour mieux comprendre le passé

Laure Guion - 26/10/2012

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 :

Lire la suite

© Inria

Vie des équipes

Cryptologie et codage pour assurer notre intégrité numérique

Laure Guion - 13/07/2012

Le dynamisme scientifique d’Inria vient en partie du renouvellement régulier de ses équipes. En effet, au-delà de 4 ou 8 ans, les équipes-projets doivent présenter un nouveau projet de recherche. L’occasion de réfléchir à une nouvelle orientation thématique, avec un nouveau responsable d’équipe, un nouveau nom, de nouveaux profils…
Quelques mois après la transformation de l’équipe-projet Tanc en équipe de recherche Grace, rencontre avec son responsable, Daniel Augot, qui nous explique les implications de cette évolution.

Mots-clés :

Lire la suite

mur d'images Mur d’écran Wild - © CNRS Phototheque / Cyril FRESILLON / ESA / Planck HFI & LFI Consortia

Communication

Mieux que l’écran géant : le mur d’écrans interactif !

Christophe Castro - 3/07/2012

Stades, salles de concert, centre commerciaux... les écrans géants fleurissent. Impact émotionnel garanti ! Côté information, par contre, rien d’exceptionnel : les images immenses ne sont pas forcément plus détaillées, ni interactives. Puissantes, nos capacités perceptuelles et notre intelligence visuelle pourraient nous permettre de voir beaucoup plus d’information sur ces écrans... La solution existe mais ne s’affiche que dans quelques labos : c’est le mur d’écrans interactif.

Lire la suite sur Inriality.fr

Homme © DR

Communication

Bienvenue dans la 3ème révolution du Web

Christophe Castro - Serge Abiteboul - 15/03/2012

« Sur Internet, on annonce à peu près tous les jours une nouvelle révolution... La première vraie révolution a été de se représenter la Toile comme une énorme bibliothèque de textes ; la seconde a été le web des réseaux sociaux ; la prochaine est celle du passage au web des connaissances », résume Serge Abiteboul, directeur de recherche Inria, titulaire de la chaire « Informatique et Sciences numériques » au Collège de France.

Lire la suite sur Inriality.fr

Serge Abiteboul © Inria / Photo C. Lebedinsky © Inria / Photo C. Lebedinsky

Chaire Informatique

La science des données entre au Collège de France

Isabelle Bellin - 7/03/2012

Serge Abiteboul, directeur de recherche Inria est le troisième titulaire de la chaire « Informatique et sciences numériques » créée en 2009 pour cinq ans au Collège de France. Spécialiste des bases de données et de la gestion d’informations sur le web, sa leçon inaugurale, le 8 mars, portera sur la science des données sur la Toile avec la volonté affichée, comme ses prédécesseurs de faire connaître et reconnaître la richesse et la beauté de la science informatique.

Mots-clés :

Lire la suite

Artist's Concept of Completed ALMA © ALMA / ESO / NRAO / NAOJ

Partenariat

Inria collabore avec ALMA, le plus grand projet de radio-télescope du Monde

Céline Acharian - 21/12/2011

Inria et ALMA (Atacama Large Millimeter / submillimeter Array) conçoivent ensemble, avec la participation du CNAM (Conservatoire National des Arts et Métiers), les interfaces homme-machine de contrôle du radio-télescope révolutionnaire en phase de construction dans le désert d’Atacama, au nord du Chili. 

Mots-clés :

Lire la suite

Haut de page

Siège et centres de recherche Inria

Accès direct

Social