archive-fr.com » FR » I » INRIA.FR

Total: 1610

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Présentation - CELTIQUE - Inria
    modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est

    Original URL path: http://www.inria.fr/equipes/celtique (2015-12-30)
    Open archived version from archive


  • Présentation - DEDUCTEAM - Inria
    25 novembre 2015 à HEC Paris Lire la suite Europe Relations internationales Big Data Value Association Partenariats européens Inria acteur de la recherche européenne AB 22 08 2015 Inria rejoint l association Big Data Value Association BDVA qui coordonne le Partenariat Public Privé PPP européen sur les Big Data lancé au début de l année 2015 Lire la suite Actualités scientifiques Agenda scientifique Domaines de recherche Rechercher une équipe Mobilité internationale Stratégie Transfert Innovation Recrutement métiers UPMC L Ardhuin Prix Inria 2015 Benoît Perthame Grand Prix Inria Académie des sciences AB 24 09 2015 Mathématicien de premier plan Benoît Perthame est une personnalité clé de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des

    Original URL path: http://www.inria.fr/equipes/deducteam (2015-12-30)
    Open archived version from archive

  • Présentation - ESTASYS - Inria
    l année 2015 Lire la suite Actualités scientifiques Agenda scientifique Domaines de recherche Rechercher une équipe Mobilité internationale Stratégie Transfert Innovation Recrutement métiers UPMC L Ardhuin Prix Inria 2015 Benoît Perthame Grand Prix Inria Académie des sciences AB 24 09 2015 Mathématicien de premier plan Benoît Perthame est une personnalité clé de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises

    Original URL path: http://www.inria.fr/equipes/estasys (2015-12-30)
    Open archived version from archive

  • Présentation - GALLIUM - Inria
    une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Equipes de recherche Accueil Recherches Structures de recherche Algorithmique programmation logiciels et architectures Preuves et vérification GALLIUM Présentation Publications HAL Rapports d activité Equipe de recherche GALLIUM Langages de programmation types compilation et preuves Responsable Xavier Leroy Type Équipe projet Centre s de recherche Paris Rocquencourt Domaine Algorithmique programmation logiciels et architectures Thème Preuves et vérification Présentation de l équipe Les travaux de recherche de l équipe projet GALLIUM portent sur la conception la formalisation et l implémentation de langages et systèmes de programmation Notre objectif est d améliorer la fiabilité sûreté de fonctionnement et sécurité des logiciels en utilisant des langages de programmation de plus haut niveau plus sûrs et plus expressifs basés sur le paradigme de la programmation fonctionnelle la détection automatique d erreurs de programmation à l aide de systèmes de types et autres analyses statiques une meilleure intégration de la programmation et des méthodes formelles en particulier la preuve sur machine de programmes Axes de recherche Systèmes de types

    Original URL path: http://www.inria.fr/equipes/gallium (2015-12-30)
    Open archived version from archive

  • Présentation - MARELLE - Inria
    premier plan Benoît Perthame est une personnalité clé de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria

    Original URL path: http://www.inria.fr/equipes/marelle (2015-12-30)
    Open archived version from archive

  • Présentation - MEXICO - Inria
    Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Equipes de recherche Accueil Recherches Structures de recherche Algorithmique programmation logiciels et architectures Preuves et vérification MEXICO Présentation Publications HAL Rapports d activité Equipe de recherche MEXICO Modeling and Exploitation of Interaction and Concurrency Responsable Stefan Haar Type Équipe projet Centre s de recherche Saclay Domaine Algorithmique programmation logiciels et architectures Thème Preuves et vérification CNRS Ecole normale supérieure de Cachan Laboratoire specification et vérification LSV UMR8643 Présentation de l équipe Dans un environnement où les réseaux sont de plus en plus présents la fiabilité des applications devient d autant plus critique que le nombre d utilisateurs des systèmes de communication services Web moyens de transport etc augmente constamment Les travaux de MExICo ont pour motivation une meilleure compréhension et une fiabilité accrue des systèmes distribués asynchrones et s intéressent particulièrement à la concurrence et à l interaction Avec la taille croissante et le déploiement en réseau des systèmes de communication des contrôleurs des services etc nous sommes confrontés à un très grand degré de parallélisme entre les processus locaux Dans toutes les formes d analyse et de contrôle une vision globale du système conduit à une explosion du nombre d états et de transitions qui nuit à la mise en valeur des mécanismes mis en œuvre À l inverse en respectant la concurrence on évite l énumération exhaustive des entrelacements et on peut se concentrer sur les propriétés essentielles des comportements non séquentiels caractérisés par les relations de causalité Nous voyons la concurrence dans les systèmes distribués comme une

    Original URL path: http://www.inria.fr/equipes/mexico (2015-12-30)
    Open archived version from archive

  • Présentation - PARSIFAL - Inria
    que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Equipes de recherche Accueil Recherches Structures de recherche Algorithmique programmation logiciels et architectures Preuves et vérification PARSIFAL Présentation Publications HAL Rapports d activité Equipe de recherche PARSIFAL Recherche de preuve et raisonnement sur des spécifications logiques Responsable Dale Miller Type Équipe projet Centre s de recherche Saclay Domaine Algorithmique programmation logiciels et architectures Thème Preuves et vérification CNRS Ecole Polytechnique Laboratoire d informatique de l école polytechnique LIX UMR7161 Présentation de l équipe L équipe projet PARSIFAL a pour but d élaborer des méthodes et des outils pour la spécification et le raisonnement sur des systèmes calculatoires comme par exemple des compilateurs des protocoles de sécurité et des programmes concurrents Le défi est ici la preuve

    Original URL path: http://www.inria.fr/equipes/parsifal (2015-12-30)
    Open archived version from archive

  • Présentation - PI.R2 - Inria
    Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Equipes de recherche Accueil Recherches Structures de recherche Algorithmique programmation logiciels et architectures Preuves et vérification PI R2 Présentation Publications HAL Rapports d activité Equipe de recherche PI R2 Conception étude et implémentation de langages pour les preuves et les programmes Responsable Pierre louis Curien Type Équipe projet Centre s de recherche Paris Rocquencourt Domaine Algorithmique programmation logiciels et architectures Thème Preuves et vérification CNRS Université Denis Diderot Paris 7 Laboratoire Preuves Programmes et Systèmes PPS UMR7126 Présentation de l équipe L équipe π r constituée au sein du laboratoire Preuves Programmes et Systèmes UMR 7126 couvre trois champs de recherche Un champ de recherche fondamentale autour de la correspondance entre preuves et programmes Un champ de recherche théorique autour du formalisme sur lequel repose l environnement de développement de preuves et de programmes Coq Un champ implémentatoire avec le développement du logiciel Coq notamment dans ses aspects langage de programmation à types riches Axes de recherche Fertilisation croisée entre la théorie de la démonstration et la théorie des programmes La

    Original URL path: http://www.inria.fr/equipes/pi.r2 (2015-12-30)
    Open archived version from archive