Direction des Relations Européennes et Internationales (DREI)

Programme INRIA "Equipes Associées"

Rapport 2004 - Prévisions 2005

 

I. DEFINITION

EQUIPE ASSOCIEE

 		OSCAR
sélectionnée en
 2004

(Supprimer les cases inutiles ci-dessus)

Projet INRIA : OASIS
 Organisme étranger partenaire : Equipe POLATE - DCC - U Chile
Unité de recherche INRIA : Sophia Antipolis
Thème INRIA : Com A
 Pays : Chili
 
 
Coordinateur français
Coordinateur étranger
Nom, prénom  Isabelle Attali
  Jose Piquer
Grade/statut  DR2  Associate Professor
Organisme d'appartenance
(précisez le département et/ou le laboratoire)		  INRIA  DCC Universite du Chili
Adresse postale  2004 route des Lucioles
  Blanco Encalada 2120 - Santiago
URL  http://www.inria.fr/oasis/Isabelle.Attali http://www.dcc.uchile.cl/~jpiquer/index.en.html
Téléphone  04 92 38 79 10
   +56 (2) 689 2736
Télécopie  04 92 38 76 44
   +56 (2) 689 5531
Courriel  ia@sophia.inria.fr   jpiquer@dcc.uchile.cl

La proposition en bref

Mots-clés : OSCAR : Objets et Sémantique, Concurrence, Aspects et Réflexion

Thématique de la collaboration (environ 10 lignes) :

Cette collaboration INRIA-CONICYT a démarré en 2002 par la visite de Tomas Barros (février-avril 2002) et José Piquer et Eric Tanter (juin 2002) dans l'équipe OASIS. Le thème de cette collaboration (a l'époque appelée PROXIMOS - Programmation Répartie Objet, refleXion, Sémantique) était a l'origine d'étudier et d'intégrer des techniques et des logiciels à base de protocoles meta-objets. Cette collaboration a plus tard impliqué des membres de l'équipe OBASCO (IRISA a Nantes) et s'est élargie a de nouveaux sujets, toujours liés a la distribution, comme la concurrence ou l'équilibrage de charges, ou encore la gestion distribuée de la mémoire.
L'objectif principal de l'Equipe Associée OSCAR est de rassembler  au  sein  d'un même groupe  les  savoirs  des  différents  participants  en  matière  de protocoles  de  métaobjets  -  MOP   -   (Tanter/Caromel)   programmation concurrente    (Mateu/Caromel/Tanter)    et    distribuée    transparente (Caromel/Piquer/Lama/Bustos), et de vérification de  systèmes  distribués (Attali/Madelaine/Barros).  Toutes ces compétences sont au service d'un seul et unique objectif en droite ligne avec le troisieme défi défini dans le plan stratégique de l'INRIA: garantir la fiabilité et la sécurité des systemes a logiciel prépondérant. Les systemes auxquels nous nous interessons sont répartis (clusters, Grid);  (donc avec un impact fort sur le premier défi: concevoir et maitriser les futures infrastructures des réseaux et des services de communication).

Plus  précisément,  le  projet comprend 5 axes spécifiques :
  1. Reflexivite et MOP (Meta Object Protocols)
  2. Garbage collection distribué
  3. Repartition des charges et tolerance aux pannes
  4. Modele de programmation concurrente
  5. Modélisation et vérification formelles

 

Présentation de l'Équipe Associée

(environ 2 pages)

1. Présentation du coordinateur étranger
Apres des etudes en informatique au Chili (niveau Maitrise),  José Piquer a prepare son DEA a Orsay, puis obtenu sa thèse de doctorat à  l'INRIA Rocquencourt, projet ICSLA (Le-Lisp), encadrant: Christian Queinnec, 1987-1991. Ses domaines d'interet et de recherche sont les systemes et les langages distribues. Son modele de GC distribue est mondialement connu.
Par ailleurs, 3 autres chercheurs au DCC ont eu leur doctorat en France:
Luis Mateu, aussi INRIA, ICSLA, 1988-1993. Alejandro  Bassi,  LIMSI-Paris XI, 1988-1995. Patricio Inostroza, INRIA-Grenoble, 1998-2002.

2. Historique de la collaboration

2.1. entre les équipes :

Dans le cadre du projet ProXiMoS, initié en 2002 et soutenu  par  l'INRIA et le CONICYT en 2003 puis équipe associée OSCAR en 2004, nous avons  eu  beaucoup  d'échanges,  des   publications communes et nous avons pu démarrer de front plusieurs sujets de collaboration, y compris une thèse en co-tutelle -Javier Bustos. L'objectif principal du projet OSCAR est de rassembler  au  sein  d'un même groupe  les  savoirs  des  différents  participants  en  matière  de protocoles  de  métaobjets  -  MOP   -   (Tanter/Caromel)   programmation concurrente    (Mateu/Caromel/Tanter) et distribuée transparente (Caromel/Piquer/Lama/Bustos), et de vérification de  systèmes  distribués (Attali/Madelaine/Barros).  Plus  précisément,  le projet comprend 5 objectifs spécifiques :

1. MOP/ProActive (Éric Tanter, Denis Caromel)
Grâce  aux  échanges  de  l'année  passée,  les  recherches  autour   des fonctionnalités souhaitables pour  un  MOP  avancé  applicable  à  grande échelle dans des systèmes  distribués  ont  mené  à  l'extension  du  MOP Reflex,      incluant      en      particulier      des      possibilités   d'activation/désactivation  dynamique  des  réifications  au  sein  d'une application réflexive. Ces travaux ont mené à la publication d'un article à OOPSLA 2003 [1].

2. GC/ProActive (José Piquer, Guillermo Lama, Denis Caromel)
L'objectif ici est d'analyser et de répondre aux besoins de ProActive  en terme de gestion distribuée de la mémoire (garbage  collection).  Pendant les  visites  de  Caromel  au  Chili,  de  Piquer  en  France   et   plus particulièrement, du séjour de Lama  pendant  3  mois  en  France,  une approche au problème  a  été  définie  de  telle  façon  que  le  mémoire d'ingénieur de Lama débouche sur un GC pour ProActive. Le plan de travail pour 2004/2005 inclut une meilleure intégration de ProActive avec  le  GC de RMI et une proposition de  nouveaux  algorithmes  de  GC  pour  Objets Actifs.
3. Répartition des charges (Javier Bustos, Denis Caromel)
L'objectif est ici de s'attaquer au problème de l'équilibrage  de  charge entre  différents  processeurs.  Ce  problème  est   NP-complet   si   la distribution de  processus  se  fait  a  priori.  L'approche  consiste  à diminuer la complexité de ce problème en fournissant un outil qui  puisse   équilibrer la charge (d'un processeur ou de la mémoire) entre différentes machines virtuelles Java connectées par un canal multicast, en  utilisant   l'API de migration de ProActive. Chaque  machine  virtuelle  enverra  des messages par le canal de communication, indiquant si elle  se  trouve  en   sous charge ou surcharge.  Des  migrations  d'objets  actifs  découleront d'une analyse de ces messages  pour  obtenir  l'équilibrage  des  charges entre les différentes machines impliquées.  Des  tests  sur  clusters  de machines  résolvant  des  problèmes  mathématiques  exigeants  en  termes d'envois de messages seront effectués pour valider l'approche [19].
4. Concurrence (Luis Mateu, Denis Caromel, Éric Tanter)
Dans le cadre de la programmation concurrente,  une  interaction  fertile est en cours entre Luis Mateu (séjour à Sophia Antipolis de 6 mois, avril-septembre 2003), concepteur du modèle  de  safe-threads,  qui  permet  de garantir la sûreté d'un programme concurrent, Denis  Caromel,  concepteur du modèle d'objets actifs de ProActive, et Éric Tanter, concepteur du MOP Reflex, pour élaborer un nouveau  modèle  de  programmation  concurrente, baptisé SOM (Sequential Object Monitor),  implanté  sur  un  petit  noyau réflexif [4]. Des extensions sont a l'étude et font partie du programme 2004-2005.
5. Preuves formelles (Isabelle Attali,  Éric  Madelaine,  Rabéa  Boulifa, Tomàs Barros)
Il s'agit ici de travailler au  développement  de  méthodes  et  d'outils logiciels  pour  l'analyse  statique  et  la  preuve  de  propriétés   de comportements d'application Java distribuées, en particulier la sûreté et la sécurité. Une plate-forme logicielle intégrant nos outils d'analyse de code Java/ProActive et des  outils  de  vérification  de  modèle  est  en chantier. Elle devra permettre à des  non-spécialistes  de  vérifier  des propriétés  de  sûreté  temporelles  et  de  sécurité  des   applications distribuées. Tomàs Barros a commencé son  doctorat  à  Sophia  Antipolis, sous la direction d'Isabelle Attali et  d'Éric  Madelaine,  en  septembre 2002 sur le sujet  et  en  particulier  sur  les  aspects  de  passage  à l'échelle  (modularité,  spécification  des  composants  distribués),  en s'appuyant sur un cas d'étude réel: le nouveau système chilien  de  taxes électroniques. L'ensemble de des travaux a donné lieu à de nombreuses publications [5,6,16,17].
  
Publications incluant à la fois des membres DCC et OASIS: [1,4,6,16,17]
Publications incluant à la fois des membres DCC et OBASCO: [1,2,3]

[17] T. Barros, E. Madelaine Formal Description and Analysis for Distributed Systems,
Integrated Formal Methods (Doctoral Symposium), Kent, UK, April 2004.

[18] Eric Tanter "From Metaobject Protocols to Versatile Kernels for
Aspect-Oriented Programming". PhD, Santiago, Nov 2004.

[19] Javier Bustos, Denis Caromel, José Piquer "Minimizing the Decision Time of a Dynamic Load Balancing
Strategy for Communication-Intensive Parallel Applications". Submitted to an international conference, Nov 2004.

2.2. entre l'INRIA et l'organisme partenaire :

Le CONICYT et l'INRIA Sophia Antipolis ont initié un guichet d'offres  de stages et de thèses à Sophia Antipolis pour des étudiants chiliens
(http://www-sop.inria.fr/interne/formation/conicyt/2004-2005/index.shtml). Nous profitons regulierement de ce guichet pour proposer des stages et accueillir des etudiants chiliens.
Par ailleurs, le DCC est comme OASIS partenaire du NOE CoreGRID (http://www.coregrid.net/) qui rassemble l'ensemble des acteurs du Grid Computing et du P2P computing en Europe.

Enfin, l'Universite du Chili ainsi que plusieurs autres universités (Frontera, Tarapaca, Concepcion) et OASIS font partie d'un projet europeen ALFAGRID de cooperation entre l'union européenne et l'Amérique Latine portant sur la formation d'étudiants et ingénieurs sur les technologies Grid ainsi que d'échanges de chercheurs et enseignants. L'objectif étant d'aider ces pays a se munir d'une infrastructure de Grille et a maitriser son administration et son utilisation pour informaticiens et autres scientifiques. Des informations sur le programme Alfa sont disponibles ici: http://europa.eu.int/comm/europeaid/projects/alfa/index_en.htm

Derniere information en relation avec Oscar: le DCC a participé au First Grid Plugtests organisé par OASIS et l'ETSI en Octobre 2004. C'est l'équipe du DCC qui a emporté le challenge des N-Queens (comment deposer sur un damier N x N N reines sans qu'elles ne se mangent), et haut la main avec les résultats suivants:
18, 2x19, 4x20 and 2x21 800 billions solutions
Deployed 560 Workers in parallel
Counted 21 Queens 24’38’’
Counted 20 Queens 7’25’’
Counted 19 Queens 4’10’’
The Chilean winners of the Contest Mario Leyton, Antonio Cansado, Luis Mateu

3. Impact : indiquez en quoi, à votre avis, cette association aurait un impact important :

4. Divers : toute autre information que vous jugerez utile d'ajouter.

II. BILAN 2004

Eventuelles remarques et/ou changements survenus (indiquez ici, le cas échéant, les éléments des années antérieures qui vous semblent importants ):

Bilan synthétique des 3 dernières années

(uniquement pour les équipes en fin de 3e année - environ 1 page)

 

Rapport scientifique pour l'année 2004

Description de l'activité scientifique de l'équipe associée et des résultats obtenus : publications, communications, organisation de colloques, formation, soutenance de thèse, valorisation économique, sociale, industrielle, dépôt de brevets ... (1 à 2 pages)

Une page Web contenant des informations sur Oscar (ainsi que des nouvelles en direct sur le déroulement du programme) est consultable sur le site Oasis a l'adresse suivante: http://www-sop.inria.fr/oasis/oscar/index.html
Les résultats 2004 de l'équipe associée Oscar ont été présentés lors du Workshop Oscar, en Nov 2004 a Santiago, voir http://www-sop.inria.fr/oasis/oscar/workshop04/index.html pour le programme complet.
Ce workshop a ete l'occasion de presenter les travaux finalisés Oscar ainsi que d'ecouter des orateurs prestigieux du domaine, comme :

Enfin, de nombreuses discussions ont permis de dégager des pistes interessantes pour l'an prochain.

Nous reprenons ici chacun des axes scientifiques et précisons également les travaux en cours et articles en préparation:
  1. Reflexivite et MOP (Meta Object Protocols)
    Eric Tanter, Denis Caromel, Pierre Cointe
    Depuis les travaux initiaux et l'article [1] publié a OOPSLA 2003, le probleme des futurs transparents dans un systeme distribué avec communication asynchrone a été étudié et une ébauche de solution a été réalisée.
    Isabelle Attali était invitée a présider le jury de these de Eric Tanter mais a été empêchée de faire le déplacement a Santiago malheureusement.
  2. Garbage collection distribué
    Jose Piquer, Guillermo Lama, Denis Caromel
    cet axe n'a guere avancé depuis le depart de Guillermo Lama. Néanmoins, ces travaux ont été présentés lors du workshop Oscar. Il est prévu de relancer ce sujet prometteur (voir programme pour 2005).
  3. Répartition des charges
    Jose Piquer, Denis Caromel, Javier Bustos
    Un article co-signé presentant l'avancement de ces travaux vient d'etre soumis a une conférence internationale [19].
    The goal of this study is to show the potential of ProActive, developing a load balancing architecture only using the API of ProActive. This load balancing is based in two principles: each node will only knows its own load (reduces the network load) and each node will make its own decisions (avoids the use of a central load balancer, which is not scalable in practice). These decisions have to follow two objectives: each machine wants to work all the time and the application wants to be optimal. For the study of this problem, we divided the decision in five questions: "How to coordinate the Load Balancing?", "Where to migrate active objects?", "When to initiate the migration of active objects?", "How many Active Objects should we migrate?" and "Which active object has to migrate?". Experimentally, we found the answer for the first two questions and we are studying the remaining ones.
  4. Modele de programmation concurrente
    Denis Caromel, Eric Tanter, Luis Mateu
    Un article [4] a été publié a ECOOP 2004.
    La notion de Sequential Object Monitor est définie comme une alternative a la programmation avec des moniteurs Java, reconnue comme difficile et inefficace. D'un point de vue Génie Logiciel, SOM permet de séparer la logique de l'application des primitives de synchronisation.
  5. Modélisation et vérification formelles
    Isabelle Attali, Eric Madelaine, Tomas Barros, Rabea Boulifa, Alejandro Vera.
    Notre objectif est de construire des outils afin d'extraire automatiquement des modeles comportementaux a partir du code source d'une application ProActive. Nous utilisons ensuite des techniques de model-checking classiques pour prouver des propriétés temporelles (absence de dead-lock, accessibilité, vivacité). L'objectif a long terme est de proposer des preuves de correction dans l'assemblage de composants répartis. Ces travaux ont donné lieu a de nombreuses publications depuis le demarrage: [5,6,16,17].

Par ailleurs,  Denis Caromel a donné un exposé invité "Objects and Components for Scientific Computing on the GRID' au 4th International Meeting Science and Education on the Research and Development Global Network ( 17 - 21 mai 2004, Santiago du Chili).

Enfin, la participation du DCC au first Grid Plugtests a été impressionnante d'efficacité (maitrise de la bibliotheque ProActive et des algorithmes sous-jacents) et saluée comme cela le méritait !
Cela nous a incité a renforcer nos actions de formation au Chili, avec la visite de Romain Quilici fin Novembre au DCC chez José Piquer, ainsi qu'a la PUC, accueilli par Antonio Cansado. Il est prévu des séminaires, démonstrations et travaux pratiques sur ProActive, pour des enseignants et des etudiants de master.

Rapport financier 2004

1. Dépenses EA (effectuées sur les crédits de l'équipe associée)
 
Budget EA alloué
Montant dépensé
Accueil  5475  5285
Missions  11525  11525
Total
 (a) 17000
 (b) 16810
Taux d'utilisation des crédits EA alloués (b/a %)
   99 %

 

2. Dépenses externes (soutenues par des financements hors EA)
 
Budget alloué
Montant dépensé
Nom de l'organisme 1 (*): INRIA OASIS
Complement Barros
  6076,76  6076,76
Complement Bustos
  2680,58  2680,58
Indemnite Stage Vera
 518,19
 518,19
Total
  9275,53  9275,53
Nom de l'organisme 2 (*) : INRIA Sophia Antipolis
Indemnite Stage Vera
  1036,38  1036,38
Missions    
Total
  1036,38  1036,38

Total des financements externes

alloués : (c)   10311,91

dépensés : 10311,91

(*) Ajouter ou supprimer des lignes au tableau ci-dessus de façon à faire figurer tous les organismes ayant contribué au financement de l'équipe associée

Total des financements EA et externes

alloués : (d) 27311,91

dépensés : 27122,41

Taux de co-financement (c /d %)

37 %

Bilan des échanges effectués en 2004


1. Seniors

Nom
statut (1)
 provenance
destination
objet (2)
durée (en semaines)
Coût (EA)
Coût (externe)
 Mateu Luis
  Assistant Professor
  Santiago  Sophia Visite  1  1404  
               
 Caromel Denis
  Professeur  Sophia
 Santiago  Colloque  1    2500
               
 Caromel
Denis
  Professeur  Sophia  Santiago  Colloques  1  2430  
 Madelaine Eric
 CR INRIA   Sophia  Santiago  Colloques  1  2550  
 Cointe Pierre
  Professeur  Nantes  Santiago  Colloques + These
  1  1500  
 Quilici Romain
  Ingenieur  Sophia  Santiago  Enseignement  1  1800  

Total des durées en semaines
   6 semaines
(1) DR / CR / professeur
(2) colloque, thèse, stage, visite....


2. Juniors

Nom
statut (1)
provenance
 destination
objet (2)
durée (en mois)
Coût (EA)
Coût (externe)
Barros Tomas
 Doctorant
 Santiago
 Sophia
 These
 12
6076,76
 Tanter
Eric
  Doctorant  Santiago  Sophia  visite  0.5 772
 
 Vera Alejandro
  Stagiaire Santiago  Sophia   stage  3    1554,57
 Bustos Javier
  Doctorant  Santiago  Sophia  These  5   2680,68
 Leyton Mario
 Stagiaire
Santiago
Sophia
Plugtests
0.5
1554,50  
 Cansado Antonio
  Stagiaire  Santiago  Sophia  Plugtests  0.5 1554,50
 
               
Barros Tomas
 Doctorant
 Sophia
 Santiago
 Visite + Colloques
 0.5


Total des durées en mois
   22 mois
(1) post-doc / doctorant / stagiaire
(2) colloque, thèse, stage, visite....

 

III. PREVISIONS 2005

Programme de travail

Description scientifique de ce programme de travail (détaillé pour l'année 2005 et en grandes lignes pour le plus long terme)

Here are the 4 main directions to be pursued during the second phase of our project:

o Sequential Object Monitor (SOM): parallel SOM
  In some cases, the methods of a monitor can or have to be scheduled in parallel (e.g. readers in a classical Reader/Writer). SOM was very successful in scheduling methods in a sequential manner [4]. We want to extend the current ideas with the capacity to sequentially schedule in parallel methods. It means that the monitor code remains sequential and in Mutual Exclusion to ease the mastering of synchronizations, but the application code can execute in  parallel. We are pursuing some ideas, based on reifying the monitor exit with explicit after actions.

o Distributed Garbagge Collector:
  With have some conjecture about color based messages that should allow to manage the terminaisons of distributed objects in presence of cycles.
  We need to theoretically study such protocol, and to experiment with a prototype implementations.

o Behavioral Specifications:
  Current behavioural specifications of distribued objects is rather successful with hierarchical parametric models [16], and specification and analysis of a real system [6].  We are planning to further explore both ends in order to have a complete solution, from specification, code generation and verification. Adaptation of these methods to component models will give essential benefits for mastering complexity of analysis, and for compositional verification.
As a first step, we would like to compare the automata resulting from a direct specification with the ones coming from the direct implementation of the same system. This should help both to build practical tools, and also to reach the more theoretical model comparisons which is needed to get a complete working chain.

o Reflection, MetaObject Protocols, AOP, and the Grid:
  ProActive currently uses an interception based MOP. Recently, we have investigated the use of a bytecode transformation framework, Reflex, for the implementation of Futures [1]. We would like to further explore the comparisons of those techniques, especially in the context of the Grids. One strong feature of grid computing is openness: one cannot assume that a system is started from a single point. This implies different versions of JVMs, different source of loading and the impossibility to modify the bytecode in a unique manner. The challenge here is to achieve the efficiency and versatility of bytecode interception MOPs with non-intrusiveness of interception-based MOPs.


Altogether, the 4 directions above are all corner stones towards mastering nowadays main challenges of distributed computing. Concurrency and parallel monitor is still at the cutting edge of software systems, e.g. in application servers. Distributed Garbage Collectors, at the scale of the planete for instance in P2P setting, is a real and pressing challenge. Components cannot be safely composed, redistributed, without a compositional semantics. Based on the strong ProActive semantics [8], the project should feature real advance in that domain, both fundamental and practical. Finally, all the three domains above call for the use and even advances in reflection, MetaObject Protocols, and AOP. Without it, one cannot ensure efficient and flexible Grid computing.

 

Budget prévisionnel 2005

1. Co-financement

- Cette coopération bénéficie-t-elle déjà d'un soutien financier de la part de l'INRIA, de l'organisme étranger partenaire ou d'un organisme tiers (projet européen, NSF, ...) ?

Le CONICYT et l'INRIA ont toujours soutenu cette collaboration depuis le début.

- Dans le cas où votre proposition serait retenue, vous parait-il probable d'obtenir de l'organisme étranger partenaire un soutien financier symétrique ?

 Il est possible d'obtenir un financement local de l'ordre de 50% du financement INRIA.
ESTIMATION PROSPECTIVE DES CO-FINANCEMENTS
Organisme
 Montant
 CONICYT 25 000 
 CoreGRID 5 000 
 AlfaGRID 
3 000 
CIMPA - Unesco
 7 000
 INRIA Sophia Antipolis + OASIS
 10 000 
Total
 50 000

2. Echanges

Description des échanges prévus dans les deux sens : accueil de chercheurs de votre partenaire et missions INRIA vers votre partenaire.
Motivez l'utilité et l'intérêt spécifique des échanges et la complémentarité des équipes.
Précisez s'il s'agit de chercheurs confirmés ou de juniors (stagiaires, doctorants, post-doctorants). Spécifiez si ces échanges ont lieu dans le cadre d'un travail scientifique, d'organisation d'événements conjoints, de séminaires, tutoriels ou écoles, de formation par la recherche : indiquez les étudiants impliqués dans la collaboration, donnez une estimation de leur nombre de chaque côté et précisez si des thèses -éventuellement en co-tutelle- sont prévues (pour chaque échange, précisez la durée et le calendrier prévisionnel).

ESTIMATION DES DÉPENSES
Montant
 
Nombre
Accueil
Missions
Total
Chercheurs confirmés  2 + 5
  2 * 3000
  5 missions *2500
 6000+ 12500 =
18500
Post-doctorants
  1  1 *3000
    3000
Doctorants    
    

Stagiaires

 3  3 * 1700
   5100
Autre (précisez) :
        
Complement Bustos
(6.5 mois)


3055
Workshop Chili Nov 05



Ecole Thematique Nov 05



Total
        50855
CONICYT +
CoreGRID + AlfaGrid + CIMPA/UNESCO +
INRIA Sophia + OASIS
  
- total des co-financements
  50000
   
Financement "Équipe Associée" demandé
  50000

Remarques ou observations :

Nous prévoyons  de  recevoir  des chercheurs seniors (en particulier José Piquer en Septembre,  Luis  Mateu en Mars)  pour  une durée de l'ordre du mois.
Nous prévoyons également des  séjours  un  peu plus longs (3 mois ou 6 mois) pour des chercheurs juniors (doctorants ou  jeunes post-doctorants). En particulier, Eric Tanter pourrait également nous visiter vers Mars.
Pour les stagiaires, la durée efficace est de 3 a 6 mois. Les premiers contacts avec la PUC nous laissent envisager de recevoir aussi des stagiaires de cette deuxieme université.
Enfin, comme doctorants, en plus des deux theses en cours (T. Barros et J. Bustos), nous souhaitons accueillir un nouveau doctorant, si possible en co-tutelle.
Nous souhaitons inclure le complément de these de J. Bustos dans nos prévisions.

Nous  prévoyons  de  visiter  nos partenaires (5 voyages par an, en  particulier  Isabelle  Attali,  Denis Caromel,  Éric  Madelaine,  Bernard Serpette, Fabrice Huet). La durée de ces séjours devra dépendre des financements en frais de mission (tout ou partie pour  notre  partenaire).  Par  ailleurs,  il serait souhaitable d'impliquer des  chercheurs  juniors  (doctorants  ou post-doctorants, en particulier Rabéa  Boulifa  (4ème  année),  Matthieu Morel (2ème année), Christian Delbé (2ème  année).

Nous prévoyons pour le deuxieme workshop Oscar, au Chili fin 2005, de coupler  l'organisation  d'une école thématique  sur  les sujets d'Oscar; cette école pourrait accueillir  des  étudiants chiliens de  l'ensemble  du  pays, voire du Cone Sud (les  partenaires  prenant  en  charge l'organisation matérielle de l'école).   Cette formation pourrait trouver comme sponsors naturels le NOE CoreGRID et le réseau AlfaGrid en soumission. Par ailleurs, on peut certainement rechercher l'appui -financier- de  CIMPA-Unesco pour cette initiative.

Enfin, les co-financeurs sont OASIS et l'INRIA Sophia Antipolis (compléments these Barros et X, autres stagiaires).

 

 

© INRIA - mise à jour le 18/08/2004