Research Days - Labex DigiCosme
… Worlds) presents its research topics and results: software security and reliability, cryptography, cyber-physical … Lunch break 14:00 – 15:00: Keynote talk (Scilex) - Constantin Enea: Reasoning About Concurrent Data Types 15:00 – … scientific results session Scilex - Mohamed Fnadi : Towards a Robust and Guaranteed Model Predictive Control with …
Published on: