|
|
| Scientific and Technological Orientation Council (COST) | Research Teams | Exploratory Actions | Collaborative Research Initiatives | Large-scale Initiative Actions | Associate Teams | International | European Partnerships | Researchers'News | Michel Montpetit prize | Jacques-Louis Lions prize | International academic and research endowed chairs | SUPCOR: ANR support unit |
|
|
Coordinator |
Project |
Theme |
Cooperative initiative title |
Partners |
| Arnaud Tonnelier | CORTEX |
CogA |
RDNR (Analyse et simulation de réseaux non réguliers) |
INRIA (BIPOP), IMAG |
| Dominique Lavenier |
SYMBIOSE |
BioA |
Flash (optimisation de graines et indexation des banques génomiques
sur mémoire flash reconfigurables) |
LIFL, CHU Angers, Lorient |
| Frédéric Alauzet | GAMMA | NumD |
LNM (combiner efficacement techniques d'adaptation de maillages et
méthodes de lignes de niveaux) |
INRIA (SMASH), UPMC, Orsay, CNAM, ECP |
| Frédéric Cazals |
GEOMETRICA |
SymB |
ReFlexP (Revisiting
the flexibility of proteins) |
Institut Pasteur, ETH. |
| Eitan Altman |
MAESTRO |
ComB | IFANY (InFormAtioN
theorY) |
INRIA (HIPERCOM, TREC, ARMOR),
France Telecom, Eurecom, EPFL, INT, Univ. Cyprus, Thessaly. |
| Sara Bouchenak | SARDES |
NumB | AutoMan (Autonomic Management of Grid-Based Enterprise Services) |
INRIA (OASIS), UPMadrid |
| Bruno Gaujal | MESCAL |
NumB | COINC (Computational issues in network calculus) |
INRIA (DISTRIBCOM, MAESTRO, TRIO), LIP, univ. Angers |
| Eric Sonnendrucker | CALVI |
NumD | Fusion (modélisation des plasmas magnétisés) |
INRIA (MC2, SIMPAF, SCALAPPLIX),
univ. Toulouse, CEA |
| Sylvain Soliman | CONTRAINTES |
SymA | MOCA (Modularité, compositionalité et abstraction dans les réseaux géniques et protéiques) | INRIA (SYMBIOSE), univ Marseille, IRI Lille, PPS CNRS |
| Lionel Clément |
SIGNES |
SymC | MOSAIQUE (Modèles syntaxiques de haut niveau) |
INRIA (ATOLL, CALLIGRAMME, LANGUE et DIALOGUE),univ Paris7 et 10, Provence |
| Pascal Molli |
ECOO |
CogC | RECALL (Réplication optimiste pour l'édition collaborative
massive sur réseau P2P) |
INRIA (CASSIS, REGAL), LIRMM, EPFL |
| Gerardo Rubino | ARMOR |
ComB | RARE (Analysis of rare events using monte carlo methods) | INRIA (ASPI, MATHFI ), CWI, univ Bamberg, EDF, DGAC |
| Jean Goubault-Larrecq | SECSI | SymA | ProNoBiS (Probability and nondeterminism, bisimulations and security) | INRIA (COMETE), ENS Cachan, Univ. Paris7, Bimingham, Verona |
| Stephan Merz |
MOSEL |
SymA |
VeriTLA+ (A verification environment for TLA+ applied to service
descriptions) |
INRIA (CRISTAL, OBASCO,PHOENIX) |
For more information on the Science board's cooperative initiatives, please contact:
Marc
Berthod,
Deputy Vice-President for Research
Tel. : +33 4 92 68 78 78
Frédéric
Alexandre, in Charge of Inciting Actions of the COST
Tel. : +33 3 83 59 20 53
