Mardi 25 mai 2010
Bonne lecture !
Mardi 25 | ||
---|---|---|
10h00-11h00 | 178 | Pause café AFoDIB |
Jeudi 27 | ||
11h30-12h45 | 076 | GT Modélisation et Vérification : Nicolas Halbwachs (Verimag, Grenoble) Static analysis of positional and non positional properties of arrays |
14h00-15h00 | Amphi Labri | Séminaire des doctorants : Pierre Bourreau (LaBRI) Analyse et génération dans les ACG avec effacement |
Vendredi 28 | ||
10h45-11h45 | 076 | GT Combinatoire Énumérative : David Renault Algorithmes de construction de graphes de Cayley planaires localement finis |
14h00-15h00 | 178 | GT Graphes et Applications : Tomas Kaiser (Dept of Mathematics, Plzeň Univ., Czech Republic) The doubly-critical graph conjecture |