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 disponibles (plateformes locales et nationales, logiciels, formations), ainsi que des méthodologies pour préparer ses codes en vue de le faire tourner sur des architectures de…
Find out more »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 est nécessaire que le robot puisse interpréter ces observations afin d'agir en conséquence. Cette capacité de percevoir et interpréter est particulièrement crucial dans le contexte…
Find out more »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 Strasbourg, examinatrice. Pascal Desbarats, Université de Bordeaux, rapporteur. Jonathan Weber, Université de Haute Alsace, rapporteur.
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 »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 a physical process. Adversarial manipulation of such systems can result in physical damage to the system, or the environment. The underlying embedded systems run (often…
Find out more »
