Soutenance MASTER IF 2013 - ENS Lyon – Salle B2

Jury: P. Audebaud, A. Darte, F. de Dinechin, J.-Y. L'Excellent, G. Fedak, E. Fleury, G. Hanrot, L. Lefevre, N. Portier,  C. Riba - ENS Lyon

18-juin-13

19-juin-13

HORAIRE

Lieu

Lieu

8:00

-

8:40

Etienne Miquey : "Technique d'analyse non-standard en réalisabilité classique".

8:40

-

9:20

Silviu Filip : Théorie algorithmique des nombres et synthèse de filtres numériques

9:20

-

10:00

Jean-Florent Raymond. : "Extensions of the Grid Exclusion Theorem"

9:20

10:00

10:00

-

10:40

Anaël Grandjean : « Differences between neighborhoods for 2 dimensionnal cellular automata « 

10:00

 10:40

10:40

-

11:10

Pause

10:40

11:20

11:10

-

11:50

Gabriel Radanne : "Eliom, une sémantique à deux niveaux".

11:20

12:00

11:50

-

12:30

Lucca Hirschi : Réduction d'entrelacements pour l'équivalence de traces

12:00

12:40

12:30

-

14:00

Déjeuner

12:40

-

13:20

14:00

-

14:40

Vincent Despre «Algorithmes dynamiques pour les graphes plongés sur des surfaces."»

13:20

-

14:00

14:40

-

15:20

Florent Robic : »Optimisation et organisation d'un réseau de transport »

14:00

-

14:40

15:20

-

16:00

Pierre-Alain Scribot : Dynamique "bursty" dans les réseaux de contacts

14:40

-

15:10

Pause

 16:00

-

16:30

Pause

15:10

-

15:50

Thomas Leventis : « Séparabilité dans le lambda-calcul probabiliste"

16:30

-

17:10

Robin Perrotin : Analyser automatiquement l'apport sémantique dans une phrase

15:50

-

16:30

Yannick Leo : Time aggregation in dynamic graphs

17:10

-

17:50

Thomas Lambert : « On variants of the Hierarchical Bin Packing Problem »

16:50

-

17:30

Chloé Cahuet :  "Application des attaques à clef liées de A. Biryukov et I. Nikolic à l'algorithme de chiffrement par bloc Rjindael"

17:50

-

18:30

17:30

-

18:10