|
|
Soutenances M2
Informatique 2019 - ENS Lyon |
|
|
|
|
|
|
Jury: Laure Gonnord (11/6), Riba Colin/Denis Kuperberg, Nicolas
Louvet/Nicolas Brisebarre, Stephan Thomasse |
|
|
|
| |
|
|
11-juin-19 |
|
|
|
|
12-juin-19 |
|
|
|
| HORAIRE |
Lieu : Amphi A |
|
|
|
|
Lieu : Amphi A |
|
|
|
| 9:30 |
- |
9:55 |
Matthieu Vavrille : A BDD domain for constraint
programming |
|
9:30 |
- |
9:55 |
Peio Borthelle : Un traitement catŽgorique de la
mŽthode de Howe |
|
|
|
| 9:55 |
- |
10:20 |
Pierre Meyer : Information-Theoretic Topology-Hiding
Computation with Setup |
|
9:55 |
- |
10:20 |
Ulysse Lechine :Aynchronous scattering of robots |
|
|
|
| 10:20 |
- |
10:45 |
Guillaume Cluzel : Analyse de structures de donnŽes non
bloquantes par interprŽtation abstraite |
|
10:20 |
- |
10:45 |
ƒmile Hazard : A proof system for the inclusion of
omega-regular languages |
|
|
|
| 10:45 |
- |
11:05 |
Pause |
|
10:45 |
- |
11:05 |
Pause |
|
|
|
| 11:05 |
- |
11:30 |
La Xuan Hoang : r-hued coloring of planar graphs. |
|
11:05 |
- |
11:30 |
Vincent RŽbiscoul : Separation Logic with Summary
Predicates Described by Set Universal Quantification |
|
|
|
| 11:30 |
- |
11:55 |
Quentin Guilmant : Calculs sur la droite rŽelle
gŽnŽralisŽe |
|
11:30 |
- |
11:55 |
Nidhi Purohit : Metric Dimension Parameterized by
Treewidth |
|
|
|
| 11:55 |
- |
12:20 |
LŽonard Assouline : New constructions of Private
Simultaneous Message protocols |
|
11:55 |
- |
12:20 |
Guillaume Duboc : A space-efficient call-by-value virtual
machine for gradual set-theoretic types |
|
|
|
| 12:20 |
- |
14:00 |
DŽjeuner |
|
12:20 |
- |
14:00 |
DŽjeuner |
|
|
|
| 14:00 |
- |
14:25 |
TA Duy Hoang : Multiparty communication complexity and
tensor rank methods |
|
14:00 |
- |
14:25 |
|
|
|
|
| 14:25 |
- |
14:50 |
Franois Pitois : Compression de graphes par
partitionnement structurel |
|
14:25 |
- |
14:50 |
|
|
|
|
| 14:50 |
- |
15:15 |
Jo‘l Felderhoff : Hard Homogenous Spaces and Commutative
Supersingular Isogeny based DiffieÐHellman |
|
14:50 |
- |
15:15 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jury: Eddy Caron (11/6), Marton Karsai,
Laurent Lefevre, Yves Robert |
|
|
|
| |
|
|
11-juin-19 |
|
|
|
|
12-juin-19 |
|
|
|
| HORAIRE |
Lieu : Amphi B |
|
|
|
|
Lieu : Amphi B |
|
|
|
| 9:30 |
- |
9:55 |
Caroline Brosse : ComplŽtions et dŽlŽtions minimales de
graphes |
|
9:30 |
- |
9:55 |
|
|
|
|
| 9:55 |
- |
10:20 |
LŽo Gayral : Random Potential Games with Partial
Interactions |
|
9:55 |
- |
10:20 |
Escot Lucas : VŽrification automatique de protocoles de
consensus byzantins |
|
|
|
| 10:20 |
- |
10:45 |
Alexandre Noiret :Hyperevent Graphs for Temporal Brain
Networks |
|
10:20 |
- |
10:45 |
RŽmi Pellerin : Certifying the non k-colorability of a
graph with Hilbert's Nullstellensatz and homological proofs |
|
|
|
| 10:45 |
- |
11:05 |
Pause |
|
10:45 |
- |
11:05 |
Pause |
|
|
|
| 11:05 |
- |
11:30 |
Leo Valque : 3D Snap Rounding |
|
11:05 |
- |
11:30 |
Robin
Vacus :An algorithmic perspective to flocking |
|
|
|
| 11:30 |
- |
11:55 |
Louis Bethune : Long term planning in reinforcement
learning with hyperbolic discounting |
|
11:30 |
- |
11:55 |
Benoit Tristan : MŽthode de dŽvirtualisation d'un
programme |
|
|
|
| 11:55 |
- |
12:20 |
Hugo Menet : Modles probabilistes d'Žvolution
multi-Žchelle : gnes, parasites, h™tes |
|
11:55 |
- |
12:20 |
Daniel Szilagyi : A Quantum Interior-Point Method for
Second-Order Cone Programming |
|
|
|
| 12:20 |
- |
14:00 |
DŽjeuner |
|
12:20 |
- |
14:00 |
DŽjeuner |
|
|
|
| 14:00 |
- |
14:25 |
Tymofii Prokopenko :Classification of the activity of
microglia across vigilance states: a data mining approach |
|
14:00 |
- |
14:25 |
|
|
|
|
| 14:25 |
- |
14:50 |
Simon Fernandez : RŽduction de la consommation
ŽnergŽtique dans les rŽseaux sans fil hŽtŽrognes. |
|
14:25 |
- |
14:50 |
|
|
|
|
| 14:50 |
- |
15:15 |
Guillaume Coiffier : Deep neural network simpli
cation using pattern mining approaches |
|
14:50 |
- |
15:15 |
|
|
|
|