The next D2 seminar, entitled “The Squirrel Prover”, by Charlie Jacomme, will be held on February 4 at 1:00 pm in room A008. Abstract The Squirrel Prover is a proof assistant dedicated to cryptographic protocols. It relies on a higher-order logic following the computationally complete symbolic attacker approach. It thus provides guarantees in the computational model. In this talk, we will introduce the main ingredients underlying its logic and proof system, trying to outline why it does yield computational guarantees…
Find out more »Louis Abel, doctorant dans l'équipe Multispeech, soutiendra sa thèse intitulée "Co-speech gesture synthesis: towards a controllable and interpretable model using a graph deterministic approach" le jeudi 6 février, à 9h en salle C005. Résumé La communication humaine ne passe pas que par les mots : les gestes jouent un rôle clé en apportant clarté, émotions et idées. Pourtant, les voix artificielles, bien qu’évoluées, manquent souvent de ce langage corporel, rendant les interactions moins naturelles. Pour résoudre ce problème, nous avons…
Find out more »À travers la (re)découverte de films emblématiques de la science-fiction des années 50 à aujourd’hui, il vous est proposé une approche cinématographique du lien entre l’Humain et les machines (intelligentes) et plus particulièrement les robots. Cette projection-débat aura lieu dans l'Agora (4 rue Théodore de Garguan) à Metz. Intervenants : Nicolas Dupuy, docteur en physicochimie moléculaire, passionné de science-fiction & Alain Dutech, chercheur Inria au Loria (CNRS, Inria, Université de Lorraine). Entrée libre et gratuite ⏐ Public adolescent et adulte…
Find out more »À travers la (re)découverte de films emblématiques de la science-fiction des années 50 à aujourd’hui, il vous est proposé une approche cinématographique du lien entre l’Humain et les machines (intelligentes) et plus particulièrement les robots. Cette projection-débat aura lieu dans l'espace Saint-Nicolas (5 rue Saint-Nicolas), à Thionville. Intervenants : Nicolas Dupuy, docteur en physicochimie moléculaire, passionné de science-fiction & Alain Dutech, chercheur Inria au Loria (CNRS, Inria, Université de Lorraine). Entrée libre et gratuite ⏐ Public adolescent et adulte ☞…
Find out more »À travers la (re)découverte de films emblématiques de la science-fiction des années 50 à aujourd’hui, il vous est proposé une approche cinématographique du lien entre l’Humain et les machines (intelligentes) et plus particulièrement les robots. Cette projection-débat aura lieu dans le Centre culturel Pierre Messmer (1 rue de la Chapelle), à Saint-Avold. Intervenants : Nicolas Dupuy, docteur en physicochimie moléculaire, passionné de science-fiction & Alain Dutech, chercheur Inria au Loria (CNRS, Inria, Université de Lorraine). Entrée libre et gratuite ⏐ Public…
Find out more »
