Thesis and HDR defenses

Thesis - 05 May 2023 - 14:00

Thesis
May 05	14:00
2023

On the mechanized verification of the meta-theory of contracts and its instantiation to differential dynamic logic

Stéphane KASTENBAUM (équipe TEA)

Belle-île (F022)

from 14:00 to 16:00

Thesis - 04 May 2023 - 09:00

Thesis
May 04	09:00
2023

Deep Learning for Skeletal Character Animation: Topology Editing, Retargeting and Cleaning

Lucas MOUROT

Amphithéatre

from 09:00 to 13:00

Thesis - 27 Apr 2023 - 09:45

Thesis
Apr 27	09:45
2023

Algorithmes de planification de trajectoires robustes pour des tâches robotiques en présence d'incertitudes paramétriques

Pascal Brault

Turing-Petri

from 09:45 to 13:00

Thesis - 17 Apr 2023 - 14:00

Thesis
Apr 17	14:00
2023

Deep Software Variability

Luc LESOIL - équipe DIVERSE

Salle Petri-Turing

from 14:00 to 18:00

Thesis - 13 Apr 2023 - 09:00

Thesis
Apr 13	09:00
2023

Apprentissage profond pour les séries temporelles de nuages de points 3D

Iris De Gelis - Equipe OBELIX

salle A102 dans le bâtiment DSEG sur le campus Tohannic, à Vannes

from 09:00 to 12:00

Thesis - 27 Mar 2023 - 14:00

Thesis
Mar 27	14:00
2023

Learning on graphs and hierarchies from the multimedia perspective

Raquel ALMEIDA - Equipe Linkmedia

Petri-Turing

from 14:00 to 18:00

Thesis - 27 Mar 2023 - 14:00

Thesis
Mar 27	14:00
2023

Analyse d'opinion pour l'optimisation de la relation client

Alexis Blandin - Equipe EXPRESSION

Université Bretagne Sud - Amphithéâtre 102 – DSEG à Vannes

from 14:00 to 18:00

Thesis - 23 Mar 2023 - 14:00

Thesis
Mar 23	14:00
2023

Contributions to the Management of Stream Processing Pipelines in Fog Computing Environments

Davaadorj BATTULGA

PETRI-TURING

from 14:00 to 18:00

Thesis - 23 Mar 2023 - 10:00

Thesis
Mar 23	10:00
2023

Unicast versus Broadcast in Cellular Networks

Juan Carlos VARGAS RUBIO - Equipe ADOPNET

Petit Amphi - IMT Atlantique Campus de Rennes

from 10:00 to 13:00

Thesis - 15 Mar 2023 - 10:15

Thesis
Mar 15	10:15
2023

Hardware Accelerated Simulation and Automatic Design of Heterogeneous Architecture

CONG Minh Thanh - Equipe TARAN

Salle Pétri/Turing

from 10:15 to 12:30

Thesis - 10 Mar 2023 - 10:00

Thesis
Mar 10	10:00
2023

Contributions to the Scalability of Automatic Precision Tuning

HA Van-Phu - Equipe TARAN

Salle Pétri/Turing

from 10:00 to 12:00

Thesis - 28 Feb 2023 - 14:00

Thesis
Feb 28	14:00
2023

Relay Attacks over the Internet: Anomaly Detection using Time Measurement

Olivier GIMENEZ (SPICY)

Petri-Turing

from 14:00 to 18:00