Participants : Différence entre versions
De MARMOTE
(Page créée avec « Sept équipes de recherche participent au projet MARMOTE: * Partenaire 1: INRIA/MAESTRO <br> Équipe-projet MAESTRO d'Inria Sophia Antipolis-Méditerranée ** Responsable... ») |
m |
||
| Ligne 4 : | Ligne 4 : | ||
** Responsable: [http://www.lirmm.fr/~ajm/ Alain Jean-Marie] | ** Responsable: [http://www.lirmm.fr/~ajm/ Alain Jean-Marie] | ||
** [http://www-sop.inria.fr/maestro/index-fr.html Site Web] | ** [http://www-sop.inria.fr/maestro/index-fr.html Site Web] | ||
| − | ** Participants: Laurent Chusseau (CNRS/IES) et Fabrice | + | ** Participants: Laurent Chusseau (CNRS/IES) et Fabrice Philippe (Univ. Montpellier 2/LIRMM) sont associés à ce partenaire. |
| − | * Partenaire 2: INRIA/DIOGEN (ex INRIA/TREC) <br> Équipe-projet DYOGEN d'Inria Paris-Rocquencourt, Ecole normale supérieure de | + | * Partenaire 2: INRIA/DIOGEN (ex INRIA/TREC) <br> Équipe-projet DYOGEN d'Inria Paris-Rocquencourt, Ecole normale supérieure de Paris et CNRS |
** Responsable: [http://www.di.ens.fr/~busic/ Ana Bušić] | ** Responsable: [http://www.di.ens.fr/~busic/ Ana Bušić] | ||
** [http://www.inria.fr/equipes/dyogen Site Web] | ** [http://www.inria.fr/equipes/dyogen Site Web] | ||
Version du 25 juin 2013 à 10:17
Sept équipes de recherche participent au projet MARMOTE:
- Partenaire 1: INRIA/MAESTRO
Équipe-projet MAESTRO d'Inria Sophia Antipolis-Méditerranée- Responsable: Alain Jean-Marie
- Site Web
- Participants: Laurent Chusseau (CNRS/IES) et Fabrice Philippe (Univ. Montpellier 2/LIRMM) sont associés à ce partenaire.
- Partenaire 2: INRIA/DIOGEN (ex INRIA/TREC)
Équipe-projet DYOGEN d'Inria Paris-Rocquencourt, Ecole normale supérieure de Paris et CNRS- Responsable: Ana Bušić
- Site Web
- Participants: Anne Bouillard
- Partenaire 3: INRIA/MESCAL
Équipe-projet MESCAL d'Inria Grenoble - Rhône-Alpes, Université Joseph Fourier, Institut polytechnique de Grenoble et CNRS- Responsable: Bruno Gaujal
- Site Web
- Participants: Jean-Marc Vincent, Florence Clévenot-Perronnin
- Partenaire 4: UVSQ/PRiSM
Laboratoire PRiSM de l'Université de Versailles-Saint-Quentin- Responsable: Jean-Michel Fourneau
- Site Web
- Participants: Pierre Coucheney, Thu-Ha Dao-Thi, Franck Quessette, Sandrine Vial
- Partenaire 5: Telecom SudParis/SAMOVAR
Laboratoire SAMOVAR de Telecom SudParis, Équipe METHODES- Responsable: Hind Castel-Taleb
- Site Web
- Participants: Mounia Lourdiane, Jérémie Jakubowicz
- Partenaire 6: UPEC/LACL
Laboratoire LACL de l'Université Paris-Est Créteil, Équipe « Spécification et vérification de systèmes »- Responsable: Nihal Pekergin
- Site Web
- Participants: Minh-Anh Tran, Sovanna Tan
- Partenaire 7: UPMC/LIP6
Laboratoire LIP5 de l'Université Pierre-et-Marie-Curie, Équipe RO- Responsable: Emmanuel Hyon
- Site Web
- Participants: François Delbot
