Le vendredi 26 octobre 2018 à 10h00, en salle de conférence du bâtiment les Algorithmes, Heytem Zitoun, équipe MDSC, soutient sa thèse intitulée "Stratégies de recherche dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes".

Le lundi 8 octobre 2018 à 10h00, en salle de conférence du bâtiment les Algorithmes, Alexandre Muzy soutient sa HDR intitulée "De la modélisation multi-niveau à la simulation par événements discrets. Formalisation et applications en biologie théorique".

Le jeudi 20 septembre 2018 à 10h30, en salle de conférence du bâtiment les Algorithmes, Claude Pasquier, équipe SPARKS, soutient sa HDR intitulée "Contributions à la fouille de données complexes".

Le jeudi 19 juillet 2018 à 14h, en salle Euler Violet du centre Inria Sophia Antipolis Méditerranée, William Lochet, équipe COMRED, soutient sa thèse intitulée "Sous-structure dans les digraphes".

Le mercredi 4 juillet 2018 à 14h, en salle Euler Bleu du centre Inria Sophia Antipolis Méditerranée, Serena Villata, Chargée de Recherche CNRS, équipe SPARKS, soutient sa HDR intitulée "Explainable, Trustable and Emphatic Artificial Intelligence: from Formal Argumentation to Argumentation for Humans".

Le vendredi 13 avril 2018 à 13h30, en salle Euler Violet au centre Inria Sophia Antipolis Méditerrannée, Agustina RAZETTI, équipe SIS, soutient sa thèse intitulée "Modelling and characterizing axon growth from in vivo data".

Le vendredi 16 février 2018 à 14h00, en salle de conférence du bâtiment les Algorithmes, Benjamin Miraglio, équipe MDSC, soutient sa thèse intitulée "Modélisation informatique pour l'évaluation toxicologique".

Le lundi 4 décembre 2017 à 10h, dans la salle de conférence du bâtiment les Algorithmes, Stéphanie Lopez, équipe SPARKS, soutient sa thèse intitulée "Classification d’images à partir d’une annotation implicite par le regard".

Le mercredi 8 novembre 2017 à 14h, salle de conférence du bâtiment les Algorithmes, Cyril Cecchinel, équipe Sparks, soutient sa thèse intitulée "DEPOSIT : Une approche pour exprimer et déployer des politiques de collecte de données sur des infrastructures de capteurs hétérogènes et partagées".

Le jeudi 12 octobre 2017 à 14h00, en salle de conférence du bâtiment des Algorithmes, Amel Ben Othmane, équipe Sparks, soutient sa thèse intitulée "CARS - A Multi-agent Framework to Support the Decision Making in Uncertain Spatio-temporal Real-world Applications".

Le vendredi 29 septembre 2017 à 14h, dans l'amphi Forum, Guillaume Perez, équipe MDSC, soutient sa thèse intitulée "Decision Diagrams: Constraints and Algorithms".

Le lundi 25 septembre 2017 à 14h00, en salle de conférence du bâtiment les Algorithmes, Myriana Rifai, équipe SIS, soutient sa thèse intitulée "Next-Generation SDN Based Virtualized Networks".

Le vendredi 1er septembre 2017 à 10h, en salle de conférence du bâtiment les Algorithmes, Ivan Logre, équipe SPARKS, soutient sa thèse intitulée "Préserver la Séparation des Préoccupations durant l’Intégration de Domaines Hétérogènes dans les Systèmes Logiciels".

Le leundi 19 juin 2017 à 15h00, en salle de conférences du bâtiment les Algorithmes, Ameni Bouaziz, équipe SPARKS, soutient sa thèse intitulée "Méthodes d'apprentissage interactif pour la classification des messages courts".

Le lundi 12 juin 2017 à 14h, en salle Euler Bleu au centre Inria Sophia Antipolis Méditerrannée, Catherine Faron Zucker, équipe SPARKS, soutient son habilitation à diriger des recherches intitulée "Knowledge Modelling and Processing for the Social Semantic Web".

Le mercredi 22 mars 2017, à 14:30 dans la salle 101 du bâtiment Forum, Yoann Bertrand, équipe SPARKS, soutient sa thèse intitulée "Gestion du contrôle de la diffusion des données d’entreprises et politiques de contrôles d’accès".

Le lundi 27 février 2017, à 10:30 dans la salle Euler Bleu de Inria Sophia Antipolis, Émilien Kofman, équipe COMRED, soutient sa thèse intitulée "Low Power Application Architecture Adaptation using SMT solvers".

Le vendredi 9 décembre 2016, à 14h30, dans l'amphithéâtre Kahn à INRIA, Guillaume Ducoffe, équipe COMRED, soutient sa thèse intitulée "Propriétés métriques des grands graphes".

Le mercredi 30 novembre 2016, à 08:30 dans la salle de conférence du bâtiment les Algorithmes, Atheer AL-NAJDI, équipe SPARKS, soutient sa thèse intitulée "Une approche basée sur les motifs fermés pour résoudre le problème de clustering par consensus".

Le lundi 7 novembre 2016, à 14h, dans la salle Euler Bleu à INRIA, Zide Meng, équipe SPARKS, soutient sa thèse intitulée "Temporal and semantic analysis of richly typed social networks from user-generated content sites on the Web".

Le vendredi 14 octobre 2016, à 10h15, dans la salle de conférence du bâtiment les Algorithmes, Oleksandra Kulankhina, équipe COMRED, soutient sa thèse intitulée "A framework for rigorous development of distributed components: formalisation and tools".

Le jeudi 22 septembre 2016, à 14h, dans la salle de conférence du bâtiment les algorithmes, Justine Rochas, équipe COMERD, soutient sa thèse intitulée "Execution Support for Multi-threaded Active Objects: Design and Implementation".