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 […]
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 […]
Le Club ORION "RESAIA" vous invite à une conférence unique d’initiation à l’intelligence artificielle, labellisée par le prestigieux Sommet pour l’Action sur l’IA ! Cet événement offre une approche interdisciplinaire pour explorer les enjeux de cette révolution technologique. Dans un monde où l’intelligence artificielle révolutionne déjà nos façons de vivre, de travailler et d’interagir, cette conférence propose une […]
Louis Abel, doctorant dans l'équipe Multispeech, soutiendra sa thèse intitulée "Co-speech gesture synthesis: towards a controllable and interpretable model using a graph deterministic approach" le jeudi 6 février, à 9h en salle C005. Résumé La communication humaine ne passe pas que par les mots : les gestes jouent un rôle clé en apportant clarté, émotions […]
