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