The Formal Methods Seminar takes place every first Tuesday of the month at 13:00 in room A008. The next seminar will take place on Thursday, November 5th. Speaker: Julie Cailler (Veridis) Title: SC-TPTP : étendre le format TPTP pour les preuves basées sur les séquents Visit the Formal Methods Seminar website.
Voir les détails »Bien que relativement ancien, le concept d'Intelligence Artificielle est de plus en plus présent dans notre quotidien. Porteuse d'espoirs pour certaines personnes, cette technologie est perçue comme néfaste par d'autres. Jusqu'où peut on aller avec l'IA ? Intervenant : Yannick Parmentier, chercheur en informatique au Laboratoire Lorrain de Recherche et ses Applications – LORIA (CNRS, Inria, Université de Lorraine). Entrée libre et gratuite ⏐ Public adolescent et adulte
Voir les détails »La science des codes secrets n’a cessé d’influencer le cours de l’histoire, de Jules César qui communiquait avec ses armées par messages chiffrés, jusqu’au déchiffrement de la machine allemande Enigma par les alliés lors de la seconde guerre mondiale. Loin du domaine militaire, la cryptologie baigne aujourd’hui dans notre quotidien : cartes bancaires, passeport, application de messagerie… Quels sont les grands principes de cette science ? Ses fondations résisteront-elles à l’ordinateur de demain ? Conférence de Cécile Pierrot, chargée de…
Voir les détails »The Loria Security Seminar (SSL - séminaire sécurité du Loria) is back! This seminar aims to offer a comprehensive overview of security topics to all interested people (students, postdoc, permanent members, engineers, etc). Our first seminar will be given by Geoffroy Couteau, CNRS researcher at IRIF, on November 19th, 2024 at 1:00pm in room A008. All Inria or Loria members are welcome. Title: Fast Public-Key Silent OT and More from Constrained Naor-Reingold Abstract: Pseudorandom Correlation Functions (PCFs) allow two parties, given correlated evaluation…
Voir les détails »Les JNRH (Journées Nationales de Robotique Humanoïde) ont lieu le 20 et 21 novembre 2024 au Loria, juste avant la conférence internationale IEEE Humanoids qui se tiendra également à Nancy (22 au 24 Novembre). Les JNRH servent de forum francophone principal pour la communauté, académique et industrielle, étudiant les robots humanoïdes, avec des ouvertures sur l'ensemble des robots à pattes, la biomécanique et l'étude des systèmes poly-articulés complexes interagissant physiquement et cognitivement avec leur environnement. Ces journées ont pour objectif…
Voir les détails »
