Programme

9h00-9h30 Accueil
9h30-10h Tour de table
Présentation générale de l'I3S et du pôle COMRED
Luc Pronzato (I3S).
10h00-10h50 Model-Driven Engineering /with formal models/ for embedded systems: the Aoste way
Julien DeAntoni (AOSTE)
10h50-11h20 Process Networks with (static) routing schemes
Robert de Simone (AOSTE)
11h20-11h40 Pause
11h40-12h00 Présentation pôle GLC
Michel Riveill (RAINBOW)
Middleware pour l'Informatique Ambiante : les travaux autour de WComp
Jean-Yves Tigli (RAINBOW)
12h00-12h40 Fixed parameter and exact exponential algorithms
Frédéric Havet (MASCOTTE)
12h40-14h10 Repas
14h10-14h50 Dynamic TTL-Based Search In Unstructured Peer-To-Peer Networks
Imen Filali (OASIS)
14h50-15h10 Présentation pôle SIS
Luc Deneire (SIGNAL)
15h10-15h50 Presentation of two simulation tools: OSA and OSIF
Judicael Ribault (MASCOTTE)
15h50-16h20 Pause
16h20-17h00 Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Muhammad Khan (OASIS)
17h00-17h30 Discussion