• Jump to Content
Loading...
 

logo-digicosme
DigiCosme - Paris-Saclay
Digital worlds: distributed data, programs and architectures
  • Log in
    • Error CapsLock is on.
      I forgot my password
      Register

EnglishFrançais
View Articles

Open University / Workshop Verification of Biological Systems / May 17, 18 / ENS CACHAN (salle Pavillon des Jardins)

Author: Isabelle Huteau - Published At: 2016-01-20 11:31 - (2099 Reads)
  • World
    • English (en)
Print
DigiCosme events
Image

Open University 2016

Date : May 17 & 18, 2016
Location : ENS Cachan
Organisation: Laurent Fribourg, ENS Cachan; Alexandre Chapoutot, ENSTA ParisTech
Related events : SpringSchool on hybrid systems
Programme et Inscription

Pour la première édition, DigiCosme profite de l'organisation de l'Ecole de Printemps sur les Systèmes hybrides (9 au 13 mai) et propose un workshop sur La Vérification des Systèmes Biologiques - 16 et 18 mai 2016.