Soutenances M2 2014 – Amphi B | |||||||||||||
23-juin-14 | 24-juin-14 | 25-juin-14 | |||||||||||
Lieu | Lieu | Lieu | |||||||||||
8:00 | - | 8:40 | 8:00 | - | 8:40 | 8:00 | - | 8:40 |
| ||||
8:40 | - | 9:20 | 8:40 | - | 9:20 | 8:40 | - | 9:20 | Guillaume Sergent Techniques decompilation dédiées pour un langage spécifique à un domaine (SystemC) | ||||
9:20 | - | 10:00 | Rémi de Joannis de Verclos : « Limites de structures et algèbres de drapeaux". | 9:20 | - | 10:00 | - Cocis Catalin Paul : Theoretical study and implementation of multilinear maps (24 Juin) | 9:20 | - | 10:00 | - Sebastián Barbieri. : Tilings on different structures: exploration towards two problems | ||
10:00 | - | 10:40 | Quentin Bolle : Théorie de la complexité sur les réels en précision finie | 10:00 | - | 10:40 | - Francois Dross : "Large Induced Forests In Sparse Graphs" | 10:00 | - | 10:40 | - Thomas Sibut-Pinote : "Evaluation Numérique formellement certifiée"
| ||
10:40 | - | 11:10 | Pause | 10:40 | - | 11:10 | Pause | 10:40 | - | 11:10 | Pause | ||
11:10 | - | 11:50 | Matthieu Rosenfeld : Avoiding long abelian repetitions in words | 11:10 | - | 11:50 | - Thomas Grégoire : "Rigorous spectral approximation for D-finite functions"
| 11:10 | - | 11:50 | - Quentin Santos. “Practical Secure Multi-Party Computation”
| ||
11:50 | - | 12:30 | Timotee Pecatte : Lower bounds for univariate polynomials : a Wronskian approach" | 11:50 | - | 12:30 | - Bertrand Simon Ordonnancement d’arbres de tâches malléables
| 11:50 | - | 12:30 | - Simon Marchuck : Étude et mise en óuvre d'un support pour l'ordonnancement de tâches malléables au sein de l'intergiciel DIET sur fermes de calculs et Clouds | ||
12:30 | - | 14:00 | Déjeuner | 12:30 | - | 14:00 | Déjeuner | 12:30 | - | 14:00 | Déjeuner | ||
14:00 | - | 14:40 | Matthieu Schmitt : Lift and project methods and scheduling problems | 14:00 | - | 14:40 |
- Karthik Srikanta : "Lower bounds for Syntactic Multilinear Branching Programs"
| 14:00 | - | 14:40 | - William Lochet : " On dominated set in triangle free graph."
| ||
14:40 | - | 15:20 | - Sébastien Maulat : "Continued Fractions for Special Functions: a guess and prove approach" | 14:40 | - | 15:20 | - Ionelia Aniela Popescu "Graph completion for cographs" | 14:40 | - | 15:20 | - Maxime Savaro : "Determining elements of the obstruction set for the graphs of linear rankwidth at most 2" (soutenance le 25 Juin) | ||
15:20 | - | 16:00 | - Antoine PLET : "Calcul sur des nombres à virgule flottante avec des exposants et une précision symboliques" | 15:20 | - | 16:00 | - Vlad-Cristian Miclea: A processor computing just right | 15:20 | - | 16:00 | - Merve Ünlü : "Évolution expérimentale in silico, Aevol, MPI, Générateurs pseudo-aléatoires parallèles" | ||
16:00 | - | 16:30 | Pause | 16:00 | - | 16:30 | Pause | 16:00 | - | 16:30 | Pause | ||
16:30 | - | 17:10 | - Sergio Peignier : "Étude et utilisation des mécanismes d'évolution bactériens pour des tâches de classification" | 16:30 | - | 17:10 | - Gaetan Gilbert Normalization by Completeness" | 16:30 | - | 17:10 | Massimiliano Fasi «Combining Algorithm-Based Fault Tolerance and Checkpointing for Iterative Solvers» (25 Juin) | ||
17:10 | - | 17:50 | - Timothée Bernard : « Sentiment analysis for real world data » (soutenance en visio) | 17:10 | - | 17:50 | 17:10 | - | 17:50 | ||||
17:50 | - | 18:30 | 17:50 | - | 18:30 | 17:50 | - | 18:30 | |||||