Department 2 seminar: Alejandro Díaz-Caro (Mocqua team)
A008Next Formal Methods Seminar (D2 seminar) will take place on January 7th at 1pm in room A008. Alejandro Díaz Caro (Mocqua) Will give a presentation entitled Sup, Sum, and Scalars: […]
5 évènements found.
-
-
-
SSL – Loria Security Seminar – Nils Ole Tippenhauer (CISPA)
A008Next SSL - Loria Security Seminar will take place on Tuesday, 21st January at 1pm in room A008. Nils Ole Tippenhauer, researcher at CISPA, will talk about reversing and testing […]
-
-
[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 […]
-
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 […]
