Projet CORSS
Réunion plénière
LORIA (salle B013)
Nancy

Matin

• 10H30 Accueil
  
• 11h00 Développement de SoC par raffinement
  D. Méry et C. Proch
  LORIA équipe MOSEL
  
• 11h45 Un protocole de groupe maximal pour réseaux ad'hoc
  M. Filali, V. Issarny, P. Mauran, P. Quéinnec, G. Padiou
  FéRIA équipe SVF, INRIA équipe ARLES
  

Après-midi

• 14h00 Composition of User Tasks in Pervasive Computing Environments
  S. Ben Mokhtar, V. Issarny
  INRIA équipe ARLES
  
• 14h45 Vérification automatique de propriétés Bossa
  J.-P. Bodeveix, M. Filali, J. Lawall, G. Muller
  FéRIA équipe SVF, DIKU, EMN équipe OBASCO
  
• 15h45 Présentation de DIXIT, un outil de vérification et de développement
  L. Fejoz
  LORIA équipe MOSEL
  
• 16h00 Discussion

Ce document a été traduit de L^AT_EX par H^EV^EA