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…
Voir les détails »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.
Voir les détails »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,…
Voir les détails »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…
Voir les détails »The next D2 seminar, entitled “The Squirrel Prover”, by Charlie Jacomme, will be held on February 4 at 1:00 pm in room A008. Abstract The Squirrel Prover is a proof assistant dedicated to cryptographic protocols. It relies on a higher-order logic following the computationally complete symbolic attacker approach. It thus provides guarantees in the computational model. In this talk, we will introduce the main ingredients underlying its logic and proof system, trying to outline why it does yield computational guarantees…
Voir les détails »
