Participants : Différence entre versions

De MARMOTE
(recrutements)
Ligne 19 : Ligne 19 :
 
** Responsable: [http://www.prism.uvsq.fr/~jmf/‎ Jean-Michel Fourneau]
 
** Responsable: [http://www.prism.uvsq.fr/~jmf/‎ Jean-Michel Fourneau]
 
** [http://www.prism.uvsq.fr/ Site Web]
 
** [http://www.prism.uvsq.fr/ Site Web]
** Participants: [http://www.prism.uvsq.fr/~pico/ Pierre Coucheney], [http://daoha.free.fr/wikini/wakka.php?wiki=Work Thu-Ha  Dao-Thi], [http://www.prism.uvsq.fr/%7Eqst Franck Quessette], [http://www.prism.uvsq.fr/~svial/‎ Sandrine Vial]
+
** Participants: [http://www.prism.uvsq.fr/~pico/ Pierre Coucheney], [http://daoha.free.fr/wikini/wakka.php?wiki=Work Thu-Ha  Dao-Thi], [http://www.prism.uvsq.fr/%7Eqst Franck Quessette], [http://www.prism.uvsq.fr/~svial/‎ Sandrine Vial], Dimitris Vekris
  
 
* Partenaire 5: Telecom SudParis/SAMOVAR <br> Laboratoire SAMOVAR de Telecom SudParis, Équipe METHODES
 
* Partenaire 5: Telecom SudParis/SAMOVAR <br> Laboratoire SAMOVAR de Telecom SudParis, Équipe METHODES
Ligne 29 : Ligne 29 :
 
** Responsable: [http://www.lacl.fr/pekergin/‎ Nihal Pekergin]
 
** Responsable: [http://www.lacl.fr/pekergin/‎ Nihal Pekergin]
 
** [http://www.univ-paris12.fr/lacl/ Site Web]
 
** [http://www.univ-paris12.fr/lacl/ Site Web]
** Participants: [http://www.lacl.fr/~matran/‎ Minh-Anh Tran], [http://lacl.fr/tan/‎ Sovanna Tan]
+
** Participants: [http://www.lacl.fr/~matran/‎ Minh-Anh Tran], [http://lacl.fr/tan/‎ Sovanna Tan], Mohamed Dahmoune
  
 
* Partenaire 7: UPMC/LIP6 <br> Laboratoire LIP5 de l'Université Pierre-et-Marie-Curie, Équipe RO
 
* Partenaire 7: UPMC/LIP6 <br> Laboratoire LIP5 de l'Université Pierre-et-Marie-Curie, Équipe RO

Version du 14 avril 2015 à 17:11

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: Issam Rabhi. Laurent Chusseau (CNRS/IES, équipe TEHO) et Fabrice Philippe (Univ. Montpellier 2/LIRMM, équipe ARITH) sont associés à ce partenaire.
  • Partenaire 6: UPEC/LACL
    Laboratoire LACL de l'Université Paris-Est Créteil, Équipe « Spécification et vérification de systèmes »