THEME 1 : RÉSEAUX ET SYSTÈMESProgramme 1A : Parallélisme et architecture |
|||
| A3 (1) : | Analyse avancée appliquée à l'optimisation des codes | Christine EISENBEIS | Rocquencourt |
| APACHE(2) : | Algorithme parallèle et partage de charge | Brigitte PLATEAU | Rhône-Alpes |
| CAPS (3) : | Compilation, architectures parallèles et système | André SEZNEC | Rennes |
| COSI (3) : | Conception de systèmes sur silicium | Sanjay RAJOPADHYE | Rennes |
| ReMaP (4) : | Régularité et parallélisme massif | Yves ROBERT | Rhône-Alpes |
| TROPICS : | Transformation et outils informatiques pour le calcul scientifique | Laurent HASCOET | Sophia-Antipolis |
|
Programme 1B : Réseaux, systèmes, évaluation des performances |
|||
| ARMOR (5) | Architecture et modèles de réseaux | Gérardo RUBINO | Rennes |
| HIPERCOM | Communication hautes performances | Philippe JACQUET | Rocquencourt |
| MASCOTTE (6) | Méthodes algorithmiques, simulation et combinatoire pour l'optimisation des télécommunications | Jean-Claude BERMOND | Sophia-Antipolis |
| MEVAL | Modélisation et évaluation de systèmes informatiques | Guy FAYOLLE | Rocquencourt |
| MISTRAL | Modélisation en informatique et systèmes de télécommunication : recherche et applications | Philippe NAIN | Sophia-Antipolis |
| PARIS (3) | Programmation des systèmes parallèles et distribués pour la simulation numérique à grande échelle | Thierry PRIOL | Rennes |
| RESEDAS (7) | Outils logiciels pour les télécommunications et les systèmes distribués | André SCHAFF | Lorraine |
| SIRAC (8) | Systèmes informatiques répartis pour applications coopératives | Roland BALTER | Rhône-Alpes |
| SOLIDOR * (3) | Construction de systèmes et applications distribuées | Michel BANATRE | Rennes |
|
Programme 1C : Programmation distribuée et temps-réel |
|||
| ADP (3) | Algorithmes répartis et protocoles | Michel RAYNAL | Rennes |
| EP-ATR (3) | Environnement de programmation pour applications temps réel | Paul LE GUERNIC | Rennes |
| MOSCOVA | Mobilité, sécurité, concurrence, vérification et analyse | Georges GONTHIER | Rocquencourt |
| PAMPA (3) | Modèles et outils pour la programmation des architectures parallèles réparties | Claude JARD | Rennes |
| PARAGRAPHE(3) | Parallélisme et graphes | Philippe DARONDEAU | Rennes |
| VASY | Validation de systèmes - Recherche et application | Hubert GARAVEL | Rhône-Alpes |
|
THEME 2 : GENIE LOGICIEL ET CALCUL SYMBOLIQUE
Programme 2A : Sémantique et programmation |
|||
| CALLIGRAMME (7) | Logique linéaire, réseaux de démonstration et grammaires catégorielles | Philippe DE GROOTE | Lorraine |
| COMPOSE (3) | Conception de programmes et systèmes adaptatifs | Charles CONSEL | Rennes |
| COQ | Spécification et preuves de programmes | Christine PAULIN | Rocquencourt |
| CRISTAL | Programmation typée, modularité et compilation | Pierre WEIS (par intérim) | Rocquencourt |
| LANDE (3) | Conception et validation de logiciels | Thomas JENSEN | Rennes |
| LEMME | Logiciels et mathématiques | Loïc POTTIER | Sophia-Antipolis |
| OASIS | Objets actifs, sémantique, internet et sécurité | Isabelle ATTALI | Sophia-Antipolis |
| PROTHEO (7) | Contraintes, déduction automatique et preuves de propriétés de logiciels | Hélène KIRCHNER | Lorraine |
|
Programme 2B : Algorithmique et calcul formel |
|||
| ALGO | Algorithmes | Bruno SALVY | Rocquencourt |
| ARENAIRE (4) | Arithmétique des ordinateurs | Jean-Michel MULLER | Rhône-Alpes |
| CAFE | Calcul formel et équations | Manuel BRONSTEIN | Sophia-Antipolis |
| CODES | Codes et protection de l'information | Pascale CHARPIN | Rocquencourt |
| POLKA (7) | Polynômes, combinatoire, arithmétique | Grégory KUCHEROV | Lorraine |
| PRISME | Géométrie, algorithmes et robotique | Jean-Daniel BOISSONNAT | Sophia-Antipolis |
| SAGA | Systèmes algébriques, géométrie et applications | Jean-Pierre MERLET | Sophia-Antipolis |
|
THEME 3 : INTERACTION HOMME-MACHINE, IMAGES, DONNEES, CONNAISSANCES
Programme 3A : Bases de données, bases de connaissances, systèmes cognitifs |
|||
| ACACIA | Acquisition des connaissances pour l'assistance à la conception par interaction entre agents | Rose DIENG | Sophia-Antipolis |
| AÏDA (3) | Modélisation et apprentissage pour l'interprétation de données et l'aide à la décision | Jacques NICOLAS | Rennes |
| ATOLL | Atelier d'outils logiciels pour le langage naturel | Bernard LANG | Rocquencourt |
| CARAVEL | Systèmes de médiation d'information | Eric SIMON | Rocquencourt |
| ECOO (7) | Environnement pour la coopération | Claude GODART | Lorraine |
| EIFFEL | Cognition et coopération en conception | Françoise DETIENNE | Rocquencourt |
| LANGUE ET DIALOGUE (7) | Dialogue homme-machine à forte composante langagière | Laurent ROMARY | Lorraine |
| MERLIN ** | Méthodes pour l'ergonomie des logiciels interactifs | Dominique SCAPIN | Rocquencourt |
| OPERA | Outils pour les documents électroniques, recherche et applications | Vincent QUINT | Rhône-Alpes |
| ORION | Environnements intelligents de résolution de problèmes pour des systèmes autonomes | Monique THONNAT | Sophia-Antipolis |
| VERSO | Bases de données | Sophie CLUET | Rocquencourt |
|
Programme 3B : Vision, analyse et synthèse d'images |
|||
| AIR | Traitement d'image et données satellites dynamiques | Isabelle HERLIN | Rocquencourt |
| ARIANA (6) | Problèmes inverses en observation de la terre | Josiane ZERUBIA | Sophia-Antipolis |
| EPIDAURE | Imagerie et robotique médicale | Nicholas AYACHE | Sophia-Antipolis |
| iMAGIS (9) | Modèles, algorithmes, géométrie pour le graphique de l'image de synthèse | Claude PUECH | Rhône-Alpes |
| ISA (7) | Applications de réalité virtuelle et augmentée en ingénierie architecturale et urbaine | Jean-Claude PAUL | Lorraine |
| MOVI (9) | Modélisation, localisation, reconnaissance et interprétation en vision par ordinateur | Radu HORAUD | Rhône-Alpes |
| ROBOTVIS | Vision par ordinateur et robotique | Olivier FAUGERAS | Sophia-Antipolis |
| SHARP (9) | Programmation automatique et systèmes décisionnels en robotique | Christian LAUGIER | Rhône-Alpes |
| SIAMES (3) | Synthèse d'images, animation, modélisation et simulation | Bruno ARNALDI | Rennes |
| TEMICS (3) | Traitement, modélisation et communication d'images numériques | Christine GUILLEMOT | Rennes |
| VISTA (3) | Vision spatio-temporelle et active | Patrick BOUTHEMY | Rennes |
|
THEME 4 : SIMULATION ET OPTIMISATION DE SYSTEMES COMPLEXES
Programme 4A : Automatique, robotique, signal |
|||
| BIP | Robot bipède | Bernard ESPIAU | Rhône-Alpes |
| COMORE (10) | Contrôle et modélisation de ressources renouvelables | Jean-Luc GOUZÉ | Sophia-Antipolis |
| CONGE (11) | Contrôle géométrique des systèmes non linéaires | Gauthier SALLET | Lorraine |
| FRACTALES | Approches fractales pour l'analyse et la modélisation des signaux | Jacques LÉVY-VEHEL | Rocquencourt |
| ICARE | Instrumentation, commande et architecture des robots évolués | Claude SAMSON | Sophia-Antipolis |
| IS2 | Inférence statistique pour l'industrie et la santé | Gilles CELEUX | Rhône-Alpes |
| MACSI (12) | Modélisation, analyse et conduite des systèmes industriels | François VERNADAT | Lorraine |
| METALAU | Méthodes, algorithmes et logiciels pour l'automatique | Maurice GOURSAT | Rocquencourt |
| MIAOU | Mathématiques et informatique de l'automatique et de l'optimisation pour l'utilisateur | Laurent BARATCHART | Sophia-Antipolis |
| NUMOPT | Optimisation numérique | Claude LEMARÉCHAL | Rhône-Alpes |
| SIGMA 2 (3) | Signaux, modèles et algorithmes | François LE GLAND | Rennes |
| SOSSO | Applications et outils de l'automatique | Michel SORINE | Rocquencourt |
|
Programme 4B : Modélisation et calcul scientifique |
|||
| ALADIN (3) | Algorithmes adaptés au calcul numérique intensif | Jocelyne ERHEL | Rennes |
| CAIMAN (13) | Calcul scientifique, modélisation et analyse numérique | Serge PIPERNO | Sophia-Antipolis |
| ESTIME | Estimation de paramètres et modélisation en milieu hétérogène | Jérôme JAFFRE | Rocquencourt |
| GAMMA | Génération automatique de maillages et méthodes d'adaptation | Paul-Louis GEORGE | Rocquencourt |
| IDOPT (2) | Identification et optimisation de systèmes en physique et en environnement | Jacques BLUM | Rhône-Alpes |
| MACS | Modélisation, analyse et contrôle pour le calcul des structures | Dominique CHAPELLE | Rocquencourt |
| M3N | Multimodèles et méthodes numériques | Benoît PERTHAME | Rocquencourt |
| NUMATH (14) | Analyse mathématique et traitement numérique des modèles non linéaires | Olivier COULAUD | Lorraine |
| OMEGA*** | Méthodes numériques probabilistes | Denis TALAY | Sophia-Antipolis |
| ONDES (15) | Modélisation, analyse, simulation des équations des ondes | Patrick JOLY | Rocquencourt |
| SINUS | Simulation numérique dans les sciences de l'ingénieur | Jean-Antoine DESIDERI | Sophia-Antipolis |
| SYSDYS (16) | Systèmes dynamiques stochastiques | Fabien CAMPILLO | Sophia-Antipolis |
(1) Projet commun avec l'université de Versailles
Saint-Quentin-en-Yvelines
(2) Projet commun avec l'IMAG (CNRS, INPG, UJF)
(3) Projet de l'IRISA commun avec le CNRS, l'INSA de Rennes et
l'université de Rennes 1
(4) Projet du LIP commun avec le CNRS et l'ENSL, localisé
à Lyon
(5) Projet de l'IRISA commun avec le CNRS, l'INSA de Rennes,
l'université de Rennes 1 et l'ENST Bretagne
(6) Projet commun avec le CNRS et l'UNSA
(7) Projet du LORIA commun avec le CNRS, les universités
Henri Poincaré, Nancy 2 et INPL
(8) Projet commun avec l'INPG et l'UJF
(9) Projet du laboratoire GRAVIR commun avec le CNRS, l'INPG et
l'UJF
(10) Projet commun avec le CNRS
(11) Projet commun avec le MMAS (CNRS et université de
Metz), localisé à Metz
(12) Projet commun avec le CNRS, les universités Henri
Poincaré, Nancy 2, INPL et l'université de Metz,
bi-localisé à Nancy (LORIA) et à Metz
(13) Projet commun avec l'ENPC (CERMICS)
(14) Projet de l'institut Élie Cartan commun avec le CNRS
et l'université Henri Poincaré
(15) Projet commun avec le laboratoire SMP (CNRS et ENSTA)
(16) Projet commun avec le CNRS et l'université de
Provence, localisé à Marseille
| (*) | SOLIDOR : | Projet bi-localisé à Rennes et à Rocquencourt |
| (**) | MERLIN : | Projet bi-localisé en Lorraine et à Rocquencourt |
| (***) | OMEGA : | Projet bi-localisé à Sophia Antipolis et en Lorraine |