The next D5 Seminar, "Bio-inspired self-supervised learning of visual representations" will be held by Arthur Aubret, on Friday, December 13 at 1:30 p.m. in room C005. Abstract: Abstract: Despite recent advances in self-supervised visual machine learning, humans develop more robust representations with much fewer data. This may be explained by the fundamental differences between the […]

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

The next D5 Seminar, "Interactive molecular visualization and simulation: examples with UDock and VTX" will be held by Pr. Matthieu Montes, from Le CNAM, laboratory of Génomique, bioinformatique et chimie moléculaire (GBCM). The event will take place on Friday, February 28 at 10:30 a.m. in room A008. Abstract: UDock (available at https://udock.fr and on gitlab): Originally developed […]