Date : 11/01/2017 → 15/01/2017
Lieu : Sophia
Organisateur : Jean-Daniel Boissonnat
ER04: Advanced Software Verification and Computer Proof (28/11/2016 → 2/12/2016)
Date : 28/11/2016 → 2/12/2016
Lieu : Sophia
Organisateur : Yves Bertot
Date : 11/01/2017 → 15/01/2017
Lieu : Sophia
Organisateur : Jean-Daniel Boissonnat
Date : 28/11/2016 → 2/12/2016
Lieu : Sophia
Organisateur : Yves Bertot