Il y a 18 Résultats avec le mot clé : "Inria Saclay - Île-de-France"

Mission Innovation

Interview de Rémi Ronchaud

Mots-clés :

Accueil > Centre > Saclay > Innovation > Interview de Rémi Ronchaud

Lire la suite

iMatch-web distribué-2012 iMatch Web Distribué 2012 - © INRIA

iMatch

Web distribué

Itziar Otegui - 15/06/2012

Les services relations industrielles et valorisation des centres de recherche Inria franciliens avec la direction du transfert d’Inria et Cap Digital, ont organisé une rencontre dédiée au Web distribué le vendredi 15 Juin 2012, dans le cadre de Futur en Seine.

Mots-clés :

Accueil > Centre > Paris - Rocquencourt > Innovation > iMatch > Edition 2012 > iMatch - Web distribué

Lire la suite

Nuit des chercheurs

Événement

Nuit des chercheurs 2012

28/09/2012

Le centre Inria Saclay - Île-de-France renouvelle sa participation à la Nuit des chercheurs pour l'édition 2012 qui se tiendra le 28 septembre prochain à l'École Polytechnique à Palaiseau (91). Initié par la Commission Européenne, cet événement a pour but de faire connaître le métier de chercheurs aux citoyens. Ainsi, durant une soirée, expositions, atelier et spectacles sont proposes sur des thèmes scientifiques.

Lieu : École Polytechnique à Palaiseau (91)

Intervenants : Chercheurs de l'équipe Amib

Mots-clés :

Accueil > Centre > Saclay > Agenda > Nuit des chercheurs 2012

lire la suite

Labex

Le Labex DigiCosme fait son inauguration

Sylvain Allemand - 20/09/2012

À 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.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Le Labex DigiCosme fait son inauguration

Lire la suite

© Inria / Photo J. Wallace

Plan stratégique

Donnez votre avis sur la recherche en sciences du numérique

19/11/2012

Le 19 novembre 2012 à 18h, venez débattre des priorités Inria de la recherche en sciences du numérique sur le plateau de Saclay ! Le numérique est maintenant plus que jamais au cœur de la société, c'est pourquoi Inria a souhaité demander aux citoyens leur vision de l'avenir de la recherche dans ce domaine. En s'appuyant sur un rapide tour d'horizon des grands champs de recherche en informatique et mathématiques appliquées, venez échanger avec les chercheurs du centre Inria Saclay - Île-de-France sur les orientations du plan stratégique de l'institut. Un cocktail clôturera la session et permettra de poursuivre la discussion de façon informelle.

Lieu : Centre Inria Saclay - Île-de-France, Bâtiment Alan Turing, Campus de l'École Polytechnique

Mots-clés :

Accueil > Centre > Saclay > Agenda > Donnez votre avis sur la recherche en sciences du numérique

lire la suite

Georges Gonthier, laboratoire commun Microsoft Research-Inria © 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 :

Accueil > Recherches > Actualités > "Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !"

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 :

Accueil > Recherches > Actualités > La preuve mathématique par informatique !

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 :

Accueil > Recherches > Actualités > Un grand succès pour la preuve informatique

Lire la suite

Haut de page

Siège et centres de recherche Inria

Accès direct

Social