Le premier atelier du Pôle AM2i aura lieu le lundi 16 décembre à 13h30 dans l'amphithéâtre de la Présidence de l'Université de Lorraine, sur le thème "Calcul scientifique : passage à l'échelle". Cet atelier propose d'échanger autour de la production de codes de calcul intensif (modélisation, résolution de grands systèmes, ...). Seront présentés les moyens […]
Nima Mehdi (Larsen) soutiendra sa thèse intitulée "Approches probabilistes pour la perception et l'interprétation de l'activité humaine" le 17 décembre à 14h en salle A008. Résumé L'intégration des robots dans des environnements occupés par l'humain soulève la détection et la prise en compte de l'humain par le robot. En plus de simplement percevoir l'humain, il […]
Florian Delconte, doctorant dans l'équipe Adagio, soutiendra sa thèse intitulée "Détection et classification automatique des singularités sur l'écorce des arbres" le vendredi 20 décembre en salle C005. Jury : Isabelle Debled-Rennesson, Université de Lorraine, Directrice de thèse. Bertrand Kerautret, Université Lyon 2, Co-directeur de thèse. Gilles Simon, Université de Lorraine, examinateur. Aline Deruyver, Université de […]
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, […]
Next SSL - Loria Security Seminar will take place on Tuesday, 21st January at 1pm in room A008. Nils Ole Tippenhauer, researcher at CISPA, will talk about reversing and testing cyber-physical systems. Title: Reversing and Testing Cyber-Physical Systems Abstract: Cyber-Physical Systems such as Industrial Control Systems, Drones, and Autonomous Vehicles rely on digital control of […]
