Parc Orsay Université, salle 008 bât. G.

Participants et orateurs

• 10h10 Courtieu/Susini [matin seulement] ;
• 10h40 Vincent Filou Preuve formelle d'un algorithme de calcul d'arbre couvrant avec détection globale de la terminaison ;
• 11h20 Allyx Fontaine Représentation des graphes ;
• 12h00 Akka Zemmari Probabilités ;
  
  Plateaux repas
  
  
• 13h45 Mohamed Tounsi Développement par raffinement d'un nouvel algorithme de synchronisation pour les calculs locaux ;
• 14h30 Petits groupes et discussions.
  
  
• Zohir Bouzid ;
• Pierre Castéran ;
• Évelyne Contejean ;
• Julien Forest ;
• David Ilcinkas ;
• Stéphane Lescuyer ;
• Assia Mahboubi ;
• Dominique Méry ;
• Mohamed Mosbah ;
• Andrei Paskevich ;
• Olivier Pons [matin seulement] ;
• J.-F. Susini [matin seulement] ;
• Sébastien Tixeuil ;
• Xavier Urbain.