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 […]
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 […]
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. […]
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é […]
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 […]
