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.
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 […]
La première journée scientifique du Pôle AM2I, sur le thème Logistique 4.0 & Supply Chain intelligente et durable : Optimisation , Robotique, Résilience et Digitalisation, aura lieu le mercredi 27 novembre 2024 dans les nouveaux locaux de l’Institut d’Innovation en Logistique au Technopôle de Metz. Elle abordera différents aspects de la recherche en logistique ainsi que les […]
Le prochain séminaire du D2 aura lieu le 3 décembre à 13h00 en salle A008. Orateur : Thibault Gauthier Titre : The Automation of Mathematics in Practice Abstract: This presentation provides an overview of automated systems actively used in proving mathematical theorems, focusing on the practical successes achieved by SAT solvers, first-order theorem provers, and […]
The next D5 Seminar, "Deep Learning, Optimal Control, and Bio-Inspired Control for Dynamic Robots" will be held by Guillaume Bellegarda (EPFL) on Friday, December 6 at 1:30 p.m. in room A008. Abstract: Recent advances in machine learning, control, and robotics show promising results towards integrating autonomous systems into society. Legged robots in particular suggest potential […]
