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 […]
Calendrier de Évènements
|
lundi
|
mardi
|
mercredi
|
jeudi
|
vendredi
|
samedi
|
dimanche
|
|---|---|---|---|---|---|---|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
2 évènements,
-
-
Le 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 enjeux de cette révolution technologique. Dans un monde où l’intelligence artificielle révolutionne déjà nos façons de vivre, de travailler et d’interagir, cette conférence propose une […] |
0 évènement,
|
1 évènement,
-
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 […] |
0 évènement,
|
1 évènement,
-
Rendez-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 protection des données, Inria Samuel Nowakowski, enseignant-chercheur, Université de Lorraine, Loria Quelques sujets abordés : - Intelligence Artificielle : de quoi parle t-on ? D’où […] |
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
2 évènements,
-
À 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 à l'Agora (4 rue Théodore de Garguan) à Metz. Intervenants : Nicolas Dupuy, docteur en physicochimie […]
-
La soutenance HDR de Pierre-Jean Spaenlehauer , intitulée « Fast algebraic algorithms for arithmetic geometry and polynomial systems » aura lieu mercredi 12 février à 15h00 en salle A008. Résumé Le dénominateur commun de mes recherches est l'étude d'objets géométriques par le biais du calcul symbolique et algébrique, en ayant pour boussole des applications pratiques […] |
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
1 évènement,
-
À 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, […] |
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
2 évènements,
-
À 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, […]
-
La prochaine conférence du Cycle Sciences et Société aura lieu le 27 février à l'IUT Charlemagne (Nancy), avec Emmanuel Thomé, directeur de recherche Inria au Loria. Multiplier, Factoriser : des nombres premiers aux codes secrets Dès qu’on l’utilise, notre carte bancaire réalise des opérations qui prendraient des années s’il fallait les mener à la main. Pourtant, […] |
1 évènement,
-
The next D5 Seminar, "Interactive molecular visualization and simulation: examples with UDock and VTX" will be held by Pr. Matthieu Montes, from Le CNAM, laboratory of Génomique, bioinformatique et chimie moléculaire (GBCM). The event will take place on Friday, February 28 at 10:30 a.m. in room A008. Abstract: UDock (available at https://udock.fr and on gitlab): Originally developed […] |
0 évènement,
|
0 évènement,
|


