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 travaux réalisés dans nos laboratoires, et les défis à surmonter en automatique, robotique, analyse de données (big data, analytics), IoT, IA, réalité augmentée ou virtuelle, ……
Find out more »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 interactive theorem provers. Additionally, we present our progress towards improving automation in areas that are usually considered challenging for proof automation, such as conjecture generation…
Find out more »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 for the same dynamic capabilities as humans to adapt to everyday, and even challenging, environments. However, when compared with humans and animals, state-of-the-art robotic systems…
Find out more »The next D5 Seminar, "Bio-inspired self-supervised learning of visual representations" will be held by Arthur Aubret, on Friday, December 13 at 1:30 p.m. in room C005. Abstract: Abstract: Despite recent advances in self-supervised visual machine learning, humans develop more robust representations with much fewer data. This may be explained by the fundamental differences between the development of their visual systems: while machine learning methods use massive amounts of i.i.d images, humans actively move and interact with objects over time. In…
Find out more »Next Formal Methods Seminar (D2 seminar) will take place on January 7th at 1pm in room A008. Alejandro Díaz Caro (Mocqua) Will give a presentation entitled Sup, Sum, and Scalars: In Linear Logic and in Non-Linear Logic. Abstract: In , we introduced a new connective, called "sup", to intuitionistic propositional logic to model information erasure, non-reversibility, and non-determinism, as observed in quantum measurement, among other contexts. This connective features the introduction rule of conjunction and the elimination rule of disjunction,…
Find out more »
