Une demi-journée dédiée aux doctorant.e.s du Département 3 (Réseaux, systèmes et services). À cette occasion, elles et ils exposeront l'état d'avancement de leurs recherches. Chaque présentation durera entre 10 et 15 minutes et sera suivie d'une phase de questions.
Find out more »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 3rd. 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.
Find out more »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…
Find out more »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…
Find out more »Yoann Coudert--Osmont (Pixel) soutiendra sa thèse intitulée "Champs de repères 2,5D pour la génération de maillages hexaédriques" le 3 decembre à 14h en salle C005. Résumé Un maillage hexaédrique est une représentation discrète d'un volume sous forme d'un ensemble de cellules hexaédriques (polyèdres à six faces quadrangulaires). Les maillages hexaédriques sont la représentation privilégiée de certaines simulations numériques, mais sont malheureusement difficiles à générer de façon entièrement automatique. Des interventions humaines, parfois longues, sont souvent nécessaires pour leur création. L’automatisation…
Find out more »
