PROJETS
NATIONAUX |
| RNTL
- Réseau National des Technologies Logicielles |
| 1. |
ACCOR |
IRISA/Triskell |
| 2. |
AVERROES |
LogiCal,
LaBRI/MVTsi, LIX/Récriture&Preuve, LORIA,
LSV, IRCCyN/Systèmes Temps Réel |
| 3. |
BOM
|
LIFC,
LSR/IMAG |
| 4. |
COTE |
IRISA/Lande,
IRISA/Triskell, IRISA/Vertecs, LSR/IMAG |
| 5. |
COTRE |
IRIT |
| 6. |
DANOCOPS |
LIFC,
LSR/IMAG |
| 7. |
Dico |
IRISA/Lande,
LSV |
| 8. |
EDEN
|
VERIMAG |
| 9. |
EPICURE |
I3S/MOSARTS |
| 10. |
EVA
|
LSV,
VERIMAG |
| 11. |
INKA |
LIFC,
LORIA, LSR/IMAG |
| 12. |
MANIFICO |
Loria |
| 13. |
OADymPPaC |
IRISA/Lande |
| RNRT
- Réseau National de Recherche en Télécommunications |
| 1. |
CALIFE |
LogiCal,
LaBRI/MVTsi, LIX/Récriture&Preuve, LORIA, LSV |
| 2. |
Convergence |
IRISA/Triskell
|
| 3. |
Cyberté
|
LSIIT |
| 4. |
SDMO |
LIFL/RD2P |
| 5. |
Magda2 |
IRISA/Triskell |
| 6. |
Platonis |
LaBRI/MVTsi |
| 7. |
VALISERV |
LSR/IMAG |
| Réseaux
Nationaux et Actions Spécifiques du département STIC
du CNRS |
| 1. |
RTP
Architecture des machines & compilation |
LSIIT/ICPS |
| 2. |
AS
17 Réseaux mobiles/Mobilité |
LSR
|
| 3. |
AS
SOC 29 Systèmes d'exploitation et architectures multiprocesseurs |
I3S/MOSARTS
(Responsable)
|
| 4. |
AS
82 Compilation pour les systèmes embarqués |
LSIIT/ICPS |
PROJETS
EUROPEENS |
| IST
- Information Society Technologies |
| 1. |
Agedis |
VERIMAG,
IRISA/Vertecs |
| 2. |
AMETIST |
LIAFA/Modélisation
et Vérification (observateurs) |
| 3. |
APPSEM
2 |
LORIA |
| 4. |
ARTIST |
LSV,
VERIMAG (coordinateur), IRISA/Triskell |
| 5. |
DSoS |
LRI |
| 6. |
Next-TTA |
VERIMAG |
| 7. |
NGN |
IRIT |
| 8. |
OMEGA |
VERIMAG
(coordinateur) |
| 9. |
QCCS |
IRISA/Triskell
|
| 10. |
REMPLI |
LORIA |
| 11. |
RESET |
LIFL/RD2P,
IRISA/Lande (roadmap) |
| 12. |
RISE |
VERIMAG |
| 13. |
SAFAIR-II |
VERIMAG |
| 14. |
TYPES |
LORIA |
| 15. |
VERIFICARD |
IRISA/Lande |
| IST
- FET (Future & Emerging Technologies) |
| 1. |
FET/Open
ADVANCE |
LIAFA/Modélisation
et Vérification (coordinateur), VERIMAG |
| 2. |
AVISPA |
LORIA |
| 3. |
FET/Open
SECSAFE |
IRISA/Lande |
| ITEA
- Information Technology for European Advancement |
| 1. |
CAFE
|
IRISA/Triskell
|
| 2. |
EAST |
I3S
SPORTS, LORIA |
| GROWTH |
| 1. |
ESACS |
LaBRI/MVTsi |
| RTN
- Research Training Network |
| 1. |
GAMES |
LIAFA |