Retrouvez Jean-Paul Haton, professeur émérite de l'Université de Lorraine au LORIA, lors d'une conférence tout public sur l'IA ! Rendez-vous le 18 juin à 18h30 à l'Espace Culturel Bellevue de Verdun ou en live sur la page Facebook Médiathèque Grand Verdun. Du fait de succès parfois spectaculaires (échecs, jeu de go, parole, langue naturelle, robotique, […]
Robots, artefacts autonomes, objets connectés : comment concevoir et appréhender ces drôles d’objets qui renouvellent nos interactions avec les autres comme avec le monde ? Nous sommes de plus en plus souvent invités à entrer en relation avec des robots ou des machines, que ce soit à des fins pratiques (thérapeutiques, professionnelles, scientifiques) ou ludiques. Ce […]
"Des outils s'appuyant sur le Web sémantique pour explorer le corpus de la correspondance d'Henri Poincaré" Conférence de Nicolas Lasolle Événement en présentiel ; possibilité de participation à distance. Lien d'inscription. Résumé De nombreux travaux s’intéressent à la vie et à l’œuvre d’Henri Poincaré, en particulier par l’étude et la publication du corpus de sa […]
Les journées 2022 du Groupe de Travail "Méthodes Formelles pour la Sécurité" auront lieu du 21 au 23 mars 2022 à la Villa Clythia à Fréjus. Les journées du Groupe de Travail "Méthodes Formelles pour la Sécurité" ont pour objectif de permettre aux personnes de la communauté des méthodes formelles intéressées par les applications liées à […]
Le 30 mars à 20h, la Bibliothèque Stanislas lève le voile sur 5 siècles de mystère qui entourent la lettre codée de Charles Quint : décryptage et mise en perspective de l’énigmatique missive envoyée le 22 février 1546. À cette occasion, Cécile Pierrot donnera une conférence sur le travail qu'elle, Paul Zimmermann et Pierrick Gaudry (tous […]
