Soutenance MASTER IF 2010 - ENS Lyon  
  Jury : P. Baillot, E. Fleury, P. Goncalves, G. Hanrot, L. Lefèvre, F. Vivien - ENS Lyon     
      22/06/2010 - Amphi A       23/06/2010 - Amphi B
HORAIRE Lieu       Lieu
        8:00 - 8:40 Stéphane Chevalier  : "Scheduling heuristics for MapReduce over Desktop Grid "
      8:40 - 9:20 Gabriel Beaulieu  : "Jeux de coloration sur les chaines et les cycles"

      9:20 - 10:00 Benjamin.  Hellouin de Menibus : "Auto-organisation dans les automates cellulaires : une approche particulaire".
        10:00 - 10:30 Pause
      10:30 - 11:10 Timo Jolivet : "Méthodes combinatoires pour l'étude des
plans discrets"
10:40   11:20 Patrycja Chowaniec : "Spread of epidemic on dynamic graphs" 11:10 - 11:50 Jean-Alexandre Angles d'Auriac : "Caractérisation des graphes d'intersection de sous-chemins orientés d'un arbre enraciné"
11:20   12:00 Mathieu Westphal
11:50 - 12:30 Jonathan Protzenko  : "Traduction de ML vers Système F avec sous-typage explicite et types récursifs"
        12:30 - 14:00 Déjeuner
13:00 - 13:40 Jonas Lefevre : "Prise en compte de la topologie dans les protocoles de populations" 14:00 - 14:40
13:40 - 14:20 Hanna Julienne : "modélisation de la distribution de taille des adipocytes via une approche agent" 14:40 - 15:20
14:20 - 15:00 Stephan Fischer : "Modélisation de l'éryhtropoïèse : développement d'un modèle dynamique hybride en population finie."  15:20 - 16:00
15:00 - 15:30 Pause  16:00 - 16:30  Pause
15:30 - 16:10 Nicolas Brunie : "Études de variations autour du FMA (Fused Multiply-and-Add) en virgule flottante. " 16:30 - 17:10
16:10 - 16:50 Gabriel Renault: "Jeux combinatoires partisans de coloration de graphe. " 17:10 - 17:50
16:50 - 17:30 Antoine Taveneaux : "Vers une axiomatisation de la complexité de Kolmogorov". 17:50 - 18:30