ER06: Computational Geometry and Topology (11/01/2017 → 15/01/2017)

Date : 11/01/2017 → 15/01/2017 Lieu : Sophia Organisateur : Jean-Daniel Boissonnat

Plus d’informations ici

ER05: Complex Networks (25/01/2017 → 29/01/2017)

Date : 25/01/2017 → 29/01/2017 Lieu : Sophia Organisateur : Giovanni Neglia

Plus d’informations ici

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

Plus d’informations ici