Commission Travaux-Déménagement ... Date(s) : 03/06/2019 iCal10h00 - 12h00 Locaux St Charles Catégories Pas de Catégories Tags : Instance consultative I2M Crowds: Models and Control (ANR CroCo)3 juin 2019Verification of (probabilistic) functional programs – Charles Grellois3 juin 2019