Le 12 juin dernier, le Loria a pris part à la journée dédiée à l’intelligence artificielle et à la robotique organisée par l’ANDRA, avec, au programme, une présentation des enjeux de l’IA et de la robotique appliquées au stockage profond, une visite du laboratoire souterrain et des démonstrations de robots en action.
Lors de cette journée, le Loria et Mines Nancy ont inauguré leur nouveau robot : ANYmal by ANYbotics, un robot quadrupède aux capacités de déplacement avancées. Au laboratoire, ce projet de recherche est porté par Laurent Ciarletta, enseignant-chercheur à Mines Nancy et chercheur au Loria, ainsi que l’équipe Simbiot.
Les rançongiciels sont une menace en constante évolution. Afin de mieux comprendre leur complexité, Jean-Yves Marion, professeur à l’Université de Lorraine, membre du Loria (CNRS – Université de Lorraine) et membre IUF Sénior, adopte une perspective systémique, en intégrant les dimensions organisationnelles, humaines, économiques, technologiques et géopolitiques. Ses travaux ont fait la couverture de la prestigieuse revue Communications of the ACM (Association for Computing Machinery).
Bravo à Vincent Trélat, doctorant dans l’équipe Mosel-Veridis, lauréat d’un Best Paper Award à la conférence ABZ 2025 (International Conference on Rigorous State-Based Methods).
Une belle récompense pour son article “Safely Encoding B Proof Obligations in SMT-LIB“.
Cette conférence internationale en méthodes formelles s’est tenue à Düsseldorf du 10 au 13 juin.
Conjuguant les expertises de la science des matériaux et de l’informatique, la startup S.A.M (Signature et Authentification des Matériaux) propose un produit innovant de certification et de lutte anti-contrefaçon, mais aussi une nouvelle approche du stockage d’informations. Un modèle de collaboration pluridisciplinaire sur lequel reviennent Samuel Kenzari et Sylvain Lefebvre, deux des trois cofondateurs de S.A.M, respectivement responsables des équipes MPA à l’Institut Jean Lamour (CNRS-Université de Lorraine) et de l’équipe MFX du Loria (CNRS -Université de Lorraine) et du centre Inria de l’Université de Lorraine.
Dans le cadre de sa thèse, Amandine Decker, doctorante dans l’équipe Sémagramme, vous invite à participer à l’expérience Montgolgram, à travers deux tâches de dialogue.
