Lundi 7 janvier 2013
Bonne année à tous !
Lundi 7 | ||
---|---|---|
11h00-12h15 | Salle 076 | GT Probabilités et Informatique : Jean-Marc Vincent (LIG, Grenoble) Perfect Sampling of Non-monotone Markov Models |
Jeudi 10 | ||
11h30-12h30 | Salle 076 | GT Modélisation et Vérification : Gilles Geeraerts (ULB, Belgium) Time-bounded reachability for monotonic hybrid automata |
Vendredi 11 | ||
10h45-11h45 | Salle 076 | GT Combinatoire Énumérative : Mireille Bousquet-Mélou (LaBRI) Chemins auto-évitants dans un demi-plan |
Lundi 14 | ||
14h00-15h00 | Salle 178 | GT Algorithmique Distribuée : Akka Zemmari (LaBRI) Two Monte-Carlo Election Algorithms for Anonymous Graphs without any Initial Knowledge |