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 […]