|
|
Soutenances M2
Informatique 2020 - ENS Lyon |
|
|
|
|
|
|
Jury 11/6 : Christophe Alias, Amina Doumane,
Pascal Koiran, Yves Robert |
|
|
|
|
|
|
Jury 12/6 : Laurent
Lefevre, Matthieu Moy, Nathalie Revol, Damien StehlŽ |
|
|
|
|
|
|
11-juin-20 |
|
|
|
|
12-juin-20 |
|
|
|
HORAIRE |
Lieu : Visio |
|
|
|
|
Lieu : Visio |
|
|
|
9:05 |
- |
9:30 |
Pegah Pournajafi : Burling Graphs Revisited |
|
9:05 |
- |
9:30 |
Abou Haidar Calvin : Cryptographie laconique basŽe sur
les rŽseaux |
|
|
|
9:30 |
- |
9:55 |
Hugues Depres : Subset Feedback Vertex Set kernelization
and linear matroids |
|
9:30 |
- |
9:55 |
Lison Blondeau : Positional Injectivity for Innocent
Stategies |
|
|
|
9:55 |
- |
10:20 |
Julien Du Crest : Decodage de codes binaires de petite
taille au dela de la distance minimale |
|
9:55 |
- |
10:20 |
Julien Devevey : Threshold Public Key Encryption from LWE |
|
|
|
10:20 |
- |
10:40 |
Pause |
|
10:20 |
- |
10:40 |
Pause |
|
|
|
10:40 |
- |
11:05 |
ThŽophile Dubuc : AmŽlioration des performances de sgx au
moyen d'un algorithme de colocation des fonctions" |
|
10:40 |
- |
11:05 |
Hohnadel Emile : Lagrangian simulation of Navier-Stokes
fluids with free surfaces |
|
|
|
11:05 |
- |
11:30 |
Nemo Fournier : Graph-based Methods for Brain Structural
Connectivity Analysis |
|
11:05 |
- |
11:30 |
Klingelhoefer Felix : Scalable reader-writer locks |
|
|
|
11:30 |
- |
11:55 |
Giocanti Ugo : Chromatic properties of stable Kneser
graphs |
|
11:30 |
- |
11:55 |
Nicolas Levy : Development of a software for designing
DNA nanostructures |
|
|
|
11:55 |
- |
13:35 |
DŽjeuner |
|
11:55 |
- |
13:35 |
DŽjeuner |
|
|
|
13:35 |
- |
14:00 |
Quentin Deschamps : Comparison between the metric
dimension and the zero-forcingnumber in graphs" |
|
13:35 |
- |
14:00 |
Pierre Marcus : DNA computing: Theory, Models and wet lab
experiments |
|
|
|
14:00 |
- |
14:25 |
Han‰ LBATH : Schema inference for property graphs" |
|
14:00 |
- |
14:25 |
Lucas Perotin : Multi-resource scheduling for high-performance
computing |
|
|
|
14:25 |
- |
14:50 |
SŽbastien Michelland : A Decision Procedure for
Equivalence Relations |
|
14:25 |
- |
14:50 |
Nacim OIJID : Jeux ˆ score sur les graphes |
|
|
|
14:50 |
- |
15:10 |
Fabrice LŽcuyer : Analyse de l'Žvolution des structures
en communautŽs dans des flots de liens |
|
14:50 |
- |
15:10 |
Pause |
|
|
|
15:10 |
- |
15:35 |
|
|
15:10 |
- |
15:35 |
Tran Xuan Thang : Enhance broadcast code to perform covert
communication on AWGN channel' |
|
|
|
15:35 |
- |
16:00 |
|
|
15:35 |
- |
16:00 |
HermŽnŽgilde Valentin : Signature par attribut dans le
modle standard |
|
|
|
16:00 |
- |
16:25 |
|
|
16:00 |
- |
16:25 |
|
|
|
|
16:25 |
- |
17:00 |
Discussion du
jury |
|
16:25 |
- |
17:00 |
Discussion du
jury |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|