Dans le cadre du projet IPCEI-CIS DXP (Data Exchange Platform), Hritika Kathuria, doctorante au sein de l’équipe CEDAR (Centre Inria de Saclay). fera une présentation sur l'interrogation de données RDF sous contraintes d’accès Abstract: We present our work exploring algorithms for answering conjunctive RDF queries in the presence of RDFS ontologies under access control constraints. […]
Thomas BAGREL (Veridis), défendra sa thèse intitulée Formalisation et implémentation de techniques sûres pour la programmation par passage de destination dans les contextes fonctionnels purs. La soutenance se déroulera en anglais le vendredi 14 novembre 2025 à 9h45 au Loria, en salle A008. Elle sera suivie d'un pot dans le hall B du Loria. Jury […]
Nathan Claudet, défendra sa thèse intitulée Équivalences locales des états graphes. La soutenance aura lieu le lundi 17 Novembre à 9h00 en salle C005 au Loria. Elle sera suivie d'un pot. Jury : - Mamadou Moustapha Kanté (rapporteur), Université Clermont Auvergne - Robert Raussendorf (rapporteur), Leibniz Universität Hannover - Xavier Goaoc (examinateur), Université de Lorraine - […]
Fiabilité du scrutin, confidentialité du vote, confiance dans les résultats... les enjeux de ce mode d'élection sont nombreux. Eclairage par Véronique Cortier, chercheuse en informatique, spécialiste des protocoles de sécurité L'irruption des scrutins par voie électronique soulève de nombreux enjeux en termes de garanties de bon fonctionnement et de sécurité informatique : comment m'assurer que […]
Cet atelier s’adresse à toutes les personnes curieuses de découvrir comment intégrer l’intelligence artificielle dans leurs recherches, qui souhaitent déterminer si cette intégration est pertinente, ou bien qui désirent monter en compétences (bonnes pratiques, enjeux éthiques et légaux...). Cet atelier est ouvert à l’ensemble de la communauté scientifique quel que soit le statut, le niveau […]
