|
|
| 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 | Initiative Title | Partners | |
|---|---|---|---|
| Gilles Barthe | S-JAVA Combination of formal tools to secure Java programs |
Coq, Lande, Meije, ENS, Trusted Logic | |
| Bruno Sportisse | MEDEE
Models and data in the environment |
Air, Cerfacs, ENPC-Cereve, Idopt | One INRIA post-doctoral position available |
| Frederique Clement | ICEM
A Images of the heart's electro-mechanic activity |
Epidaure, MACS, Sinus | |
| Olivier Faugeras | MC2 Better knowledge of the brain |
Epidaure, Vista, Pitié-Salpétrière, CEA-Saclay | |
| Sylvain Lazard | Visi3D Three-dimensional visibility: theory and applications | Imagis, Prisme, ENS-ULM, Université Grenoble I, Université Utrecht, MIT, Université Groningen | |
| Bernard Mourrain | CoSTIC
Curves and surfaces |
Gamma, Isa, Prisme, UNSA | |
| Toan Nguyen | COUPLAGE Platform for distributed digital simulation | Apache, Numath, Paris | |
| Guy Pujolle | Project I3 | Lip6, ENST, Hipercom, Planet | |
| Laurent Thery | AOC The arithmetic of certified computers |
Polka, Arenaire | |
- cooperative initiatives accepted for 1998-1999
- cooperative initiatives accepted for 1997-1998
For more information on the Science board's cooperative initiatives, please contact:
Gilles Kahn,
Scientific Director
Tél. : +33 1 39 63 51 22
Françoise Weber,
Assistant to the Scientific Director
Tel. : +33 1 39 63 52 19
