Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...
How to reach the Inria Centre at Université de Lorraine in Nancy and Strasbourg ? Changed on 19/04/2024
Digital education Meeting with Marie Duflot and the love she divides between r research, teaching and scientific outreach 17/08/2018