Le Lundi 8 Juillet 2019 à 10h00, en salle de conférences du bâtiment les Algorithmes, Julien Deantoni, équipe COMRED, soutient son Habilitation à Diriger les Recherches intitulée "Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models".

Le vendredi 11 janvier 2019 à 14h30, en salle de conférence du bâtiment les Algorithmes, Ophélie Guinaudeau soutient sa thèse intitulée "une formalisation de l’intégration dendritique et ses propriétés algébriques".

Lundi 17 décembre 2018 à 14h30, en salle de conférences du bâtiment les Algorithmes, Abdoul Macina, équipe SPARKS, soutient sa thèse intitulée "SPARQL Distributed Query Processing over Linked Data".

Le mercredi 12 décembre 2018 à 14h, en salle de conférences du bâtiment Les Algorithmes, Mélanie Ducoffe, équipe SPARKS, soutient sa thèse intitulée "Active Learning et Visualisation des données d’apprentissage pour les réseaux de neurones ".

Le lundi 10 décembre 2018 à 10h30, en salle de conférences du bâtiment les Algorithmes, Arnaud Bletterer, équipe SIS, soutient sa thèse intitulée "Une approche basée graphes pour la modélisation et le traitement de nuages de points massifs issus d'acquisitions de LiDARs terrestres".

Le vendredi 23 novembre 2018 à 14h, en salle K1-K2 du Bâtiment Kahn du centgre Inria Sophia Méditerranée, Émilie Palagi, équipe SPARKS, soutient sa thèse intitulée "Évaluation des moteurs de Recherche Éxploratoire: Elaboration d'un corps de méthodes centrées utilisateurs, basées sur une modélisation du processus de recherche exploratoire".

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".