|
|
Soutenances M2
Informatique 2016 - ENS Lyon |
|
|
|
Jury : Philippe Audebaud, Emmanuel Beffara,
Anne Benoit, Laure Gonnord,
Marton Karsai, Laurent Lefevre, Stephan Thomasse |
| |
|
|
20-juin-16 |
|
|
|
21-juin-16 |
| HORAIRE |
Lieu :
Amphi A |
|
|
|
Lieu : Amphi C |
| 9:00 |
- |
9:35 |
Tien Nam Le : On the immersion variant of Harwiger's
conjecture |
9:00 |
- |
9:35 |
Samuel Unicomb : Modelling complex
contagion processes with tie heterogeneities |
| 9:35 |
- |
10:10 |
Damien Rouhling : Automatic refinements in Coq. |
9:35 |
- |
10:10 |
Ronan Duchesne : Simplicity, Fidelity
and Identifiability in Dynamical Models of Complex Processes: Case Study of the Erythroid
Differentiation. |
| 10:10 |
- |
10:30 |
Pause |
10:10 |
- |
10:30 |
Pause |
| 10:30 |
- |
11:05 |
Valentin Lorentz : Energy (soutenance huis clos) |
10:30 |
- |
11:05 |
Nicolas Carion : Safe Bayesian Optimization and
Application to Policy Search |
| 11:05 |
- |
11:40 |
Willy Quach : Circular security and fully homomorphic
encryption |
11:05 |
- |
11:40 |
Jacobo Levy Abitbol : Conflict resolution during
cooperative transport |
| 11:40 |
- |
12:15 |
Yassine Hamoudi : Communication complexity |
11:40 |
- |
12:15 |
|
| 12:15 |
- |
13:30 |
Djeuner |
12:15 |
- |
13:30 |
Djeuner |
| 13:30 |
- |
14:05 |
Raphal Charrondire : RP (soutenance huis clos) |
13:30 |
- |
14:05 |
Antoine Grospellier : Intrication quantique pour la
correction du bruit d'un canal de communication |
| 14:05 |
- |
14:40 |
Valentin Gledel : Coloration d'artes sans
croisements |
14:05 |
- |
14:40 |
Paul Ferm : Random Numbers from Bell inequalites: Eve's
Memory Matters |
| 14:40 |
- |
15:15 |
Marc Heinrich : Push-button operator for combinatorial
games |
14:40 |
- |
15:15 |
Valentin Le Fvre : Resilient and energy-aware scheduling
algorithms for large-scale distributed systems |
| 15:15 |
- |
15:35 |
Pause |
15:15 |
- |
15:35 |
Pause |
| 15:35 |
- |
16:10 |
Denis Carnino : Is Spinner Spotted? - Methods for the
Acoustic Classification of Spinner and Spotted Dolphin Whistles. |
15:35 |
- |
16:10 |
Julien Braine : Using abstract interpretation on Horn
clauses to verify programs containing arrays and lists |
| 16:10 |
- |
16:45 |
Colas Droin : Data-driven characterization of social tie
heterogeneities in real information cascade |
16:10 |
- |
16:45 |
Benjamin Gras : Colorings of Clique/Cycle-inflation of
graphs |
| 16:45 |
- |
17:20 |
Jisang Yoon : Parallel implementation of graph rewriting
for big graph transformations/Efficient graph clustering algorithm based on stochastic block model and its
applications |
16:45 |
- |
17:20 |
Saylam Berrenur : Communauts ego-centres dans les
graphes de recommandation |
| 17:20 |
- |
17:55 |
Nevena Krpe_ : Detecting temporal network structures at
the intermediate (ÒmesoÓ) scale |
|
|
|
|