Accueil > Footer > Laboratoires du réseau

Laboratoires du réseau

Cliquez sur l'un des départements de la carte interactive pour obtenir la liste des laboratoires qui ont des activités de recherche en Optique, Electronique et Logiciel dans ce département.

Laboratoires Yvelines (78)

  • OV

    Nom du laboratoire :Equipe ABSTRACTION - Interprétation abstraite

    Etablissement :INRIA Rocquencourt

    Contact : COUSOT Patrick

  • OV

    Nom du laboratoire :Equipe ALGORITHMS - Algorithmes

    Etablissement :INRIA Rocquencourt

    Contact : SALVY Bruno

  • OV

    Nom du laboratoire :Equipe ALPAGE - Analyse linguistique profonde à grande échelle

    Etablissement :INRIA Rocquencourt

    Contact : DANLOS Laurence

  • OV

    Nom du laboratoire :Equipe AOSTE - Modèles et méthodes pour l'analyse et l'optimisation des systèmes temps réel embarqués

    Etablissement :INRIA Rocquencourt

    Contact : SOREL Yves

  • OV

    Nom du laboratoire :Equipe ARLES - Architecture logicielles et systèmes distribués

    Etablissement :INRIA Rocquencourt

    Contact : ISSARNY Valérie

  • OV

    Nom du laboratoire :Equipe AXIS - Conception, analyse et amélioration de systèmes d'informations dirigées par les usages

    Etablissement :INRIA Rocquencourt

    Contact : LECHEVALLIER Yves

  • OV

    Nom du laboratoire :Equipe BANG - Analyse numérique de modèles non linéaires pour la Bio et Géophysique

    Etablissement :INRIA Rocquencourt

    Contact : PERTHAME Benoît

  • OV

    Nom du laboratoire :Equipe CLIME - Couplage de la donnée environnementale et des modèles de simulation numérique pour une intégration logicielle

    Etablissement :INRIA Rocquencourt

    Contact : HERLIN Isabelle

  • OV

    Nom du laboratoire :Equipe CONTRAINTES - Programmation par contraintes

    Etablissement :INRIA Rocquencourt

    Contact : FAGES François

  • OV

    Nom du laboratoire :Equipe FORMES - Méthodes Formelles pour les Systèmes Embarqués

    Etablissement :INRIA Rocquencourt

    Contact : JOUANNAUD Jean-Pierre

  • OV

    Nom du laboratoire :Equipe GALLIUM - Langages de programmation, types, compilation et preuves

    Etablissement :INRIA Rocquencourt

    Contact : LEROY Xavier

  • OV

    Nom du laboratoire :Equipe GAMMA3 - Génération automatique de maillages et méthodes avancées

    Etablissement :INRIA Rocquencourt

    Contact : GEORGE Paul-Louis

  • OV

    Nom du laboratoire :Equipe GANG - Réseaux, graphes et algorithmes

    Etablissement :INRIA Rocquencourt

    Contact : VIENNOT Laurent

  • OV

    Nom du laboratoire :Equipe IMARA - Informatique, Mathématiques et Automatique pour la Route Automatisée

    Etablissement :INRIA Rocquencourt

    Contact : NASHASHIBI Fawzi

  • OV

    Nom du laboratoire :Equipe MACS - Modélisation, analyse et contrôle pour le calcul des structures

    Etablissement :INRIA Rocquencourt

    Contact : CHAPELLE Dominique

  • Ils nous ont rejoints
    • Ingénierie, études techniques
    • Ingénierie, études techniques
    • CCI ESSONNE
  • Agenda

    Juin précédent suivant

    Juin
              1 2
    3 4 5 6 7 8 9
    10 11 12 13 14 15 16
    17 18 19 20 21 22 23
    24 25 26 27 28 29 30