|
|
Soutenances M2
Informatique 2023 - ENS Lyon - Session Juillet |
|
|
|
|
|
|
Jury : Christophe Alias, Doumane Amina, Eddy
Caron, Daniel Hirschkoff, Laurent Lefevre |
|
|
|
| |
|
|
10-juil.-23 |
|
|
|
11-juil.-23 |
|
|
|
| HORAIRE |
Lieu : Amphi B |
|
|
|
Lieu : Amphi B |
|
|
|
| 9:05 |
- |
9:30 |
|
9:05 |
- |
9:30 |
Pierre Goutagny: Kleene algebra
with hypotheses: modular formalisation and algorithms |
|
|
|
| 9:30 |
- |
9:55 |
|
9:30 |
- |
9:55 |
Robin Jourde: Understanding the
eta-law for functions in CIC |
|
|
|
| 9:55 |
- |
10:20 |
Yasaman Asgari: Defining an evaluation score for community
detection in dynamic graphs |
9:55 |
- |
10:20 |
Galaad Langlois: (Co)datatypes in Coq via W-types and M-types
in the category of setoids |
|
|
|
| 10:20 |
- |
10:40 |
Pause |
10:20 |
- |
10:40 |
Pause |
|
|
|
| 10:40 |
- |
11:05 |
Guillaume Méroué: Simulation
Statistique de Foules |
10:40 |
- |
11:05 |
Fatemeh Ghasemi: Pursuit--evasion games: An imperfect
information scenario |
|
|
|
| 11:05 |
- |
11:30 |
Hristina Nikolic: Homogeneity of
textual genre across Wikipedia : article embedding and network analysis |
11:05 |
- |
11:30 |
Nicolas Nardino: Linking Formally OptiTrust to CompCert |
|
|
|
| 11:30 |
- |
11:55 |
Simon Ferreira: Root cause
analysis given a cyclic summary causal graph and time series |
11:30 |
- |
11:55 |
Emilie Vidal: Le Génie
Logiciel et la Théorie du Contrôle pour la gestion adaptative de
ressources |
|
|
|
| 11:55 |
- |
13:35 |
Déjeuner |
11:55 |
- |
13:35 |
Déjeuner |
|
|
|
| 13:35 |
- |
14:00 |
Romain Bourneuf: Twin-Width and Chromatic Number |
13:35 |
- |
14:00 |
Malo Jaffré: Evaluating the
performance of multi-party relay architectures in a controlled experimental
environment |
|
|
|
| 14:00 |
- |
14:25 |
Malory Marin: Graph structure
and algorithms for fair Wi-Fi channel allocation |
14:00 |
- |
14:25 |
Jolyne Gatt: energy-aware user
behavior to deal with intermittent energy sources in data center |
|
|
|
| 14:25 |
- |
14:50 |
Ali Momeni Mohammadabadi:
Finding Cuts of Bounded Degree |
14:25 |
- |
14:50 |
Mathis Lamiroy: Complexité et
algorithmes pour l'ordonnancement d'observations astronomiques |
|
|
|
| 14:50 |
- |
15:10 |
Pause |
14:50 |
- |
15:10 |
Pause |
|
|
|
| 15:10 |
- |
15:35 |
Sébastien Zeitoun: Local
certification of local properties |
15:10 |
- |
15:35 |
Pacome Luton: Predicting sample density for Path Tracing |
|
|
|
| 15:35 |
- |
16:00 |
Maxime Cautrès: The Pauli sparsification problem |
15:35 |
- |
16:00 |
Thomas Pickles: Neural radiance fields for medical imaging |
|
|
|
| 16:00 |
- |
16:25 |
Milan Gonzalez-Thauvin: Cryptanalysis of the Even-Mansour
Block Ciphers with Functional Graphs |
16:00 |
- |
16:25 |
Werner Merian: Caractérisation
logique des classes de complexité d'énumération |
|
|
|
| 16:25 |
- |
16:45 |
Pause |
16:25 |
- |
16:45 |
Pause |
|
|
|
| 16:45 |
- |
17:10 |
Louis Gaillard: Degree bounds for the output size of
algorithms in Computer Algebra. |
16:45 |
- |
17:10 |
|
|
|
|
| 17:10 |
- |
17:35 |
Cyprien Michel Delétie (visio) :
Neuro-Symbolic AI for trustworthiness and reasoning |
17:10 |
- |
17:35 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|