Projet CORSS
Réunion plénière
IRIT (salle des thèses)
Toulouse

Vendredi 2 juillet 2004

Matin

• · 9H30 Accueil
  
  
• · 9h45 Présentation du projet
  
• · 10h00 Application MANET
  Valérie Issarny
  
• · 1030 Modélisation MANET
  Léonor Prensa
  
• · 11h00 Travaux sur la cohérence
  Florent Péres
  
• · 11h30 Approches de vérification
  Mamoun Filali
  

Après-midi

• · 14h Application Téléphonie
  Charles Consel
  
• · 14h30 Discussion sur les travaux de Bordeaux
  
  
• · 15h Travaux sur BOSSA
  Mamoun Filali
  
• · 15h15 Travaux sur la vérification TLA
  Jean Paul Bodeveix
  
• · 15h30 Discussion
  • Travaux futurs
  • Sujets de stage

This document was translated from L^AT_EX by H^EV^EA.