Workshop: Verification of biological systems

Séminaire le 17 Mai 2016, 10h00 à ENS Cachan

The iCODE-Digicosme workshop on verification of biological systems will be held on May 17-18 2016 at ENS Cachan.

Registration is now open. Full information can be found here.