Sites Inria

A la une

Marie-Paule Cani © Inria / Kaksonen © Inria / Kaksonen

Collège de France

De la création numérique 3D aux mondes virtuels animés

27/11/2014

La Chaire d'Informatique et Sciences numériques du Collège de France est attribuée à Marie-Paule Cani pour l'année 2015. La leçon inaugurale sera donnée le 12 février 2015.

Mots-clés :

Lire la suite

Leslie Lamport Leslie Lamport - © Photo Bernard Lachaud

Prix Turing

Leslie Lamport : un pionnier de l'informatique distribuée

Olivier Lapirot - 3/06/2014

Le prix Turing 2013 de l'Association for Computing Machinery a été décerné cette année à Leslie Lamport, chercheur du laboratoire commun Inria-Microsoft Research. Retour sur 40 ans de travaux d’un chercheur qui met les mathématiques au service du numérique.

Mots-clés :

Lire la suite

Christophe Godin et Teva Vernoux Christophe Godin et Teva Vernoux - © Inria

Publication

Modélisation et biologie, récit d'une collaboration à succès

Cyril Da - 17/12/2013

Christophe Godin, de l'équipe Inria Virtual Plants, et Teva Vernoux, du Laboratoire de reproduction et développement des plantes (CNRS/ENS Lyon/INRA/UCBL) ont mené un projet dont les résultats jettent une lumière nouvelle sur la façon dont les plantes forment ces étonnants et universels arrangements d’organes en spirales ou en couronnes. Au total, 23 chercheurs et ingénieurs de domaines disciplinaires variés ont contribué à cette découverte qui fait l'objet d'une publication dans la revue de référence Nature en décembre. Interview croisée.

Mots-clés :

Lire la suite

Prix scientifique

Serge Abiteboul récompensé par la Royal Society

24/07/2013

Serge Abiteboul, directeur de recherche Inria Saclay et notamment membre de l'Académie des Sciences et du Conseil national du numérique, a reçu le Royal Society Milner Award 2013 en reconnaissance de ses recherches sur les bases de données.

Mots-clés :

Lire la suite

Environnement

En 2013, la Terre se met aux maths

Christine Leininger - Antoine Rousseau - 4/03/2013

La Terre est notre planète, une planète complexe et riche tant sur le plan physique que biologique, façonnée par la civilisation. Mais elle est aussi une planète en danger. Comment les sciences mathématiques et informatiques contribuent-elles à mieux l'étudier ? À comprendre les phénomènes qui s'y passent ? À anticiper ses évolutions ? À proposer des solutions lorsque c'est possible ? Autour de ces questions qui nous interpellent tous, les chercheurs se mobilisent partout dans le monde.

Lire la suite

© Photo LIRMM

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 :

Lire la suite

Plateforme réalité virtuelle © INRIA

Réalité virtuelle

S’immerger dans les mondes virtuels devient accessible au grand public

Sabine Coquillart, Françoise Breton - 27/11/2012

Au cours des 20 dernières années, le domaine de la réalité virtuelle a connu des progrès spectaculaires : immersion plus forte avec des capacités d’interaction plus variées et performantes. Aujourd’hui, les applications industrielles de ces recherches sont nombreuses dans le prototypage virtuel ou bien dans la simulation pour la formation. Ces technologies commencent également à pénétrer le secteur grand public avec, par exemple, l’offre de casques de réalité virtuelle permettant une immersion totale dans les univers virtuels des jeux.

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

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 :

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.

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 :

Lire la suite

Haut de page