| Soutenances M2 Informatique 2017 - ENS Lyon | ||||||||
| Jury: Anne Benoit, Pierre Borgnat, Eddy Caron(19), Christophe Crespelle (19), Pascal Koiran (20), Laurent Lefevre, Nathalie Revol, Stephan Thomasse, Nicolas Trotignon (20) | ||||||||
| 19-juin-17 | 20-juin-16 | |||||||
| HORAIRE | Lieu : Salle B1 | Lieu : Salle B1 | ||||||
| 9:00 | - | 9:25 | RŽmy Grunblatt : A new paradigm for data management | 9:00 | - | 9:25 | Pijus Simonaitis : Finding local genome rearrangements | |
| 9:25 | - | 9:50 | Alice Joffard: Packing of graphs | 9:25 | - | 9:50 | Agathe Herrou : Symmetrized Centroidal Semi-Discrete Optimal Transport | |
| 9:50 | - | 10:15 | Victor Lutfalla : Recherche d'un pavage substitutif de coupe-et-projection avec invariance par rotation 2pi/7 | 9:50 | - | 10:15 | Husic Edin : Augmentation and Independent Set in Even-Hole Free Graphs | |
| 10:15 | - | 10:35 | Pause | 10:15 | - | 10:35 | Pause | |
| 10:35 | - | 11:00 | Rapha‘l Monat : Certificate Checking in Coq and Hol4 for Static Analyses of Mixed-Precision Floating-Point Arithmetic | 10:35 | - | 11:00 | Beatrix Emoke Fulop Balogh : Capturing and Synthesizing High Resolution Dynamic Point Sets | |
| 11:00 | - | 11:25 | Etienne Moutot : The Domino Problem on Surface Groups | 11:00 | - | 11:25 | Valentin HonorŽ : Etude de la multiplication scalaire pour l'algorithme de factorisation ECM | |
| 11:25 | - | 11:50 | William Aufort : Polygones de Newton, Onion Peeling et problŹme fg+1" | 11:25 | - | 11:50 | ClŽment Sartori : normalisation of the Delaunay Triangulation | |
| 11:50 | - | 12:15 | Marc Chevalier : A formal semantic for access privilege and support of x86 assembly in AstrŽe" | 11:50 | - | 12:15 | Laureline Pinault : Coinduction based algorithm to decide Bźchi automata equivalence | |
| 12:15 | - | 13:30 | DŽjeuner | 12:15 | - | 13:30 | DŽjeuner | |
| 13:30 | - | 13:55 | Arthur Blot: High-Assurance and High-Speed Cryptography | 13:30 | - | 13:55 | Pierre Mascarade: Morphologie mathŽmatique, analyse des concepts formels et musicologie computationnelle | |
| 13:55 | - | 14:20 | Jean-Yves Franceschi : Accountability of Decision Algorithms". | 13:55 | - | 14:20 | Louis Duvivier: Causality in sms temporal graph | |
| 14:20 | - | 14:45 | GrŽgoire Beaudoire : Enumeration of stoichiometric factories in metabolic networks | 14:20 | - | 14:45 | Ievgeniia Oshurko : Graph-based hierarchical knowledge representation. An application to rule-base modelling and bio-curation | |
| 14:45 | - | 15:10 | Tom Dusseaux : Analyse d'un algorithme de curiositŽ artificielle | 14:45 | - | 15:10 | Deak Norbert : Verification of real polynomial inequalities from rounding error analyses | |
| 15:10 | - | 15:30 | Pause | 15:10 | - | 15:30 | Pause | |
| 15:30 | - | 15:55 | Vincent Michielini : A Hypersequent Calculus for Modal Lattice-Ordered Abelian Groups | 15:30 | - | 15:55 | VU Thi Xuan : Solving determinantal systems using homotopy techniques | |
| 15:55 | - | 16:20 | Maverick Chardet : A Tool for Nominal Automata Learning | 15:55 | - | 16:20 | Johanna Seif : Bounding Techniques for Extension Complexity | |
| 16:20 | - | 16:45 | Emma Barme: Semi-supervised learning as a method to alleviate the calibration constraint in EEG applications to emotional gaming | 16:20 | - | 16:45 | Octave Mariotti : Physical Neural Networks : Description Language & Noise Simulation | |
| 16:45 | - | 17:10 | Panagiotas Ioannis : Further Notes on Birkhoff-Von Neumann Decompositions | 16:45 | - | 17:10 | Xavier Montillet : Open Call-by-push-value | |