[Formal Methods Seminar] The Squirrel Prover
A008The 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 […]
5 évènements found.
-
-
-
Démystifiez les enjeux de l’IA avec le club ORION « RESAIA »
Maison des Sciences de l'Homme 91 avenue de la Libération, Nancy, FranceLe Club ORION "RESAIA" vous invite à une conférence unique d’initiation à l’intelligence artificielle, labellisée par le prestigieux Sommet pour l’Action sur l’IA ! Cet événement offre une approche interdisciplinaire pour explorer les […]
-
Soutenance de thèse : Louis Abel (Multispeech)
C005Louis 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 […]
-
Conférence-débat IA de l’espoir
Amphithéâtre Cuénot du Muséum Aquarium de Nancy 13 rue Godron, NancyRendez-vous le samedi 8 février à 14 heures au Muséum Aquarium de Nancy pour la conférence-débat "IA de l'espoir". Parlons Intelligence Artificielle avec : Émilie Masson, déléguée adjointe à la […]
-
[Projection-débat] Science-fiction et intelligence artificielle
l'Agora 4 rue Théodore de Garguan, MetzÀ 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) […]
