Ci-dessous, les différences entre deux révisions de la page.
Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
recherche:projets:syncomp:accueil [2015/03/31 11:37] tigli créée |
recherche:projets:syncomp:accueil [2015/04/27 10:43] tigli |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
==== Projet SYNCOMP ==== | ==== Projet SYNCOMP ==== | ||
+ | |||
+ | Projet faisant suite à l' {{http://www-sop.inria.fr/pulsar/projects/SynComp/reunion1.html|action color INRIA SYNCOMP}} | ||
Rainbow : Jean-Yves Tigli, Stéphane Lavirotte | Rainbow : Jean-Yves Tigli, Stéphane Lavirotte | ||
+ | |||
STARS : Annie Ressouche | STARS : Annie Ressouche | ||
+ | |||
LEAT : Daniel Gaffe | LEAT : Daniel Gaffe | ||
+ | |||
ESPRIT R&D : Ines Sarray | ESPRIT R&D : Ines Sarray | ||
+ | === Meetings === | ||
+ | |||
+ | * [[recherche:projets:syncomp:meetings:meeting310315 |Meeting 310315]] | ||
+ | * [[recherche:projets:syncomp:meetings:meeting130415 |Meeting 130415]] | ||
+ | * [[recherche:projets:syncomp:meetings:meeting270415 |Meeting 270415]] | ||
+ | |||
+ | |||
+ | === TODO === | ||
+ | * Rédiger des sections "ready to copy". Ex. intro à clem. Ex. intro au langage de contrainte ... | ||
+ | * Trouver scénario / illustration dans le domaine de la santé (maintien à domicile et assistance aux personnes en perte d'autonomie) | ||
+ | * Clarifier l'apport de la composition des moniteurs avec des degrès de modélisation différents. |