Soutenances de thèses et HDR

Compilation vérifiée et sécurisée contre les canaux cachés temporels

Rémi HUTIN (CELTIQUE)

Salle du conseil - ENS RENNES - Campus de Ker Lan

de 14:00 à 17:00

Soutenance de thèse de Diane Dewez (Hybrid) - lundi 29 novembre - 9h30 en salle Métivier

Diane Dewez (Hybrid)

Metivier

de 09:30 à 14:00

Energy Management and Protocol Design for Heterogeneous IoT Networks Leveraging Wake Up Radio

Nour El Hoda DJIDI (GRANIT)

Salle Jacques LE SQUIN (ENSSAT LANNION)

de 10:00 à 13:00

MYRIADS - PhD Defense of Mehdi BELKHIRIA : "Contributions to the Decentralization of Stream Processing : Algorithms and Architectures"

Mehdi BELKHIRIA (MYRIADS)

Petri-Turing room

de 14:30 à 18:00

« Apprentissage profond et transport optimal : apprendre l’un de l’autre / Deep Learning and optimal transport: learning from one another »

Kilian FATRAS (OBELIX)

de 14:00 à 18:00

Mining Tractable Sets of Graph Patterns with the Minimum Description Length Principle - Francesco Bariatti (SEMLIS)

Francesco BARIATTI (SEMLIS)

Metivier

de 09:00 à 12:00

The Infinite Loop: Understanding, Improving and Enriching VR Interaction

Ferran Argelaguet (HYBRID)

Salle Métivier (C024)

de 13:45 à 18:00

Formal verification of unlinkability for stateful protocols — Bridging the gap between symbolic and computational models

Solène MOREAU (SPICY)

Métivier

de 09:00 à 13:00

Modelling, Reverse Engineering, and Learning Software Variability - Soutenance HDR Mathieu ACHER

Mathieu ACHER ( DiverSE)

Métivier

de 15:00 à 17:00

Contribution à l'étude de l'utilisabilité et du retour haptique des interfaces à contact intermittent

Victor Mercado (HYBRID)

Métivier (C024)

de 09:30 à 12:30

Katharina BOUDGOUST : Theoretical Hardness of Algebraically Structured Learning With Errors

Katharina BOUDGOUST (CAPSULE)

Petri-Turing

de 09:30 à 12:00

Contributions à l’apprentissage machine distribué multitâche

Amaury Bouchra Pilet (WIDE)

Metivier

de 10:00 à 18:00