Lundi 19 avril 2010
Bonne lecture !
Mardi 20 | ||
---|---|---|
10h00-11h00 | 178 | Pause café AFoDIB |
Jeudi 22 | ||
10h00-11h15 | Amphi LaBRI | GT Modélisation et Vérification : Christophe Joubert (TU Valencia) Datalog-based Program Analysis with BES and RWL (visioconférence) |
14h00-15h00 | Amphi Labri | Séminaire LaBRI : Alain Cournier (LaRIA, U. Picardie) Algorithmique Stabilisante : Mesurer la qualité du service |
Vendredi 23 | ||
10h45-11h45 | 076 | GT Combinatoire Énumérative : Axel Bacher Chemins auto-évitants fractals |
14h00-15h00 | 178 | GT Graphes et Applications : Émilie Diot (LaBRI) Chemin séparabilité |