Soutenances M2 Informatique 2015 - ENS Lyon | ||||||||||||
Jury 1 : Stephan Thomasse, Eddy Caron, Emmanuel Beffara (24), Vincent Neiger (24 PM) | ||||||||||||
23-juin-15 | 24-juin-15 | |||||||||||
HORAIRE | Lieu : Salle B1 | Lieu : Salle B1 | ||||||||||
9:30 | - | 10:10 | Benjamin Hadjibeyli : « Evaluation homomorphe de chiffrements symétriques basés sur les réseaux euclidiens » | 9:30 | - | 10:10 | Amir Wonjiga : « Design and Implementation of System's Information Flows with IF-PLTL for Dynamic Monitoring" » | |||||
10:10 | - | 10:50 | Hong Phong Pham : « Some approximation algorithms for the problem: covering a bidirected graph by disjoint paths of maximum total weight » | 10:10 | - | 10:50 | Florent Brehard : « Axiomatique en théorie des langages et des expressions régulières : un calcul de séquents pour les treillis distributifs avec action star-continus » | |||||
10:50 | - | 11:10 | Pause | 10:50 | - | 11:10 | Pause | |||||
11:10 | - | 11:50 | Gabriela Claudia Paris : « Jeu du marquage et jeu de coloration sur des graphes » | 11:10 | - | 11:50 | Louis Parlant : « Algèbres de Kleene avec Tests : Calcul des séquents, extensions » | |||||
11:50 | - | 12:30 | Alexandre Talon : « Problèmes de connectivité dans les graphes : packings de chemins et arborescences » | 11:50 | - | 12:30 | Diégo Nava Saucedo : « Semi-Calculabilité en Géométrie » | |||||
12:30 | - | 14:00 | Déjeuner | 12:30 | - | 14:00 | Déjeuner | |||||
14:00 | - | 14:40 | Arnaud Germain : « Étude logique d'un calcul de processus avec pré-ordre et sans continuation" | 14:00 | - | 14:40 | François Pirot : "Girth and distance colouring problem" | |||||
14:40 | - | 15:20 | Aurore Alcolei : « The asynchronous dynamics of some locally non-monotonic Boolean automata networks » | 14:40 | - | 15:20 | Julien Le Maire : « Calcul avec arrondi correct du logarithme en virgule fixe » | |||||
15:20 | - | 15:40 | Pause | 15:20 | - | 15:40 | Pause | |||||
15:40 | - | 16:20 | Guillaume Lagarde : « Arithmetic circuit complexity » | 15:40 | - | 16:20 | Antoine Martinet : « Architecture synthesis for linear time-invariant filters » | |||||
16:20 | - | 17:00 | Henri Derycke : « Études de relaxations dans le modèle du tas de sable sur la grille 2D » | 16:20 | - | 17:00 | Pierre Macherel : « Simple Stochastic Games » | |||||
Jury 2 : Laurent Lefevre, Frédéric Prost, Marton Karsai | ||||||||||||
23-juin-15 | 24-juin-15 | |||||||||||
HORAIRE | Lieu : Amphi B | Lieu : Amphi B | ||||||||||
9:30 | - | 10:10 | Baptiste Rozière : « Optimization of taxi fleets and autonomous vehicles fleets » - soutenance via skype (Singapour) | 9:30 | - | 10:10 | Lan Anh Pham : « Structure of classes of graphs dened by constraints on chords » | |||||
10:10 | - | 10:50 | Stéphane Durand : « Efficacité de l'algorithme meilleure réponse dans les jeux de potentiels » | 10:10 | - | 10:50 | Mihai Popescu : « Multi-agent patrolling strategies under wireless sensor network constraints » | |||||
10:50 | - | 11:10 | Pause | 10:50 | - | 11:10 | Pause | |||||
11:10 | - | 11:50 | Rémi Nollet : « Analyse grammaticale sur les langages naturels » | 11:10 | - | 11:50 | Antoine Pouille : « Checkpointing Transiently Powered Computers To Non-Volatile Random Access Memory » | |||||
11:50 | - | 12:30 | Baptiste Jonglez : « Improving the fairness of the Trickle algorithm » | 11:50 | - | 12:30 | Ngoc Khang Le : « Cycle structure in directed graphs » | |||||
12:30 | - | 14:00 | Déjeuner | 12:30 | - | 14:00 | Déjeuner | |||||
14:00 | - | 14:40 | Martin Privat : « Spatial Rules in the Brain : quantifying uncertainties in the prediction of cortical connectivity profiles » | 14:00 | - | 14:40 | Brieuc Guinard : « Data analyses in economics: debts and growths » | |||||
14:40 | - | 15:20 | Emma Prudent : « Détection embarquée, automatique et en temps réel de dauphins Tursiops Aduncus » | 14:40 | - | 15:20 | Alice Pellet-Mary : « On the security of the GGH cryptographic multilinear map » | |||||
15:20 | - | 15:40 | Pause | 15:20 | - | 15:40 | Pause | |||||
15:40 | - | 16:20 | Tiffany Delhomme : « Modélisation statistique de l'ADN circulant libre pour la détection précoce des cancers » | 15:40 | - | 16:20 | Fabrice Mouhartem : « Construction d’un schéma de signature de groupe dynamique à l’aide de réseaux euclidiens » | |||||
16:20 | - | 17:00 | Raphaël Bournhonesque : « Role of glutamate transporter diffusion in glutamate clearance » | |||||||||