• 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
  • About us
    • Contact
    • LabEx presentation
    • Partners
    • Legal notice and credits
    • Organization
      • Organization chart
      • Steering committee
      • Scientific board
      • Executive committee
      • Research and Innovation committee
      • Education committee
  • Research & Innovation
    • Research axis and actions
    • SciLex
    • ComEx
    • DataSense
    • Emergence projects
    • Innovation
  • Education
    • Actions
    • Master scholarships
    • Invited Professors
    • Spring Schools
    • Junior Conferences
    • ISN Competition
  • Call for projects
    • Selection process
    • Calls
  • Events
    • Events
  • Publications
    • DataSense
    • SciLex
    • ComEx
[Show/Hide Left Column]

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 - (1221 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.

Agenda

  1. Christine Tremblay - professeur invité DigiCosme
  2. Séminaire GT UPSCaLe
  3. Research Day 2019
  4. Séminaire GT Future Access Networks
  5. Spring School 2019 - ForMaL
  6. JDSE2019 - SAVE THE DATE
  7. Séminaires GT PASADENA
  8. Rodrigo Fernandes De Mello - professeur invité DigiCosme
  9. Séminaire GT TALSEM
  10. Antonio A. F. Loureiro - professeur invité Digicosme

Appels

  1. AAP Bourses Master 2019-2020
  2. AAP Printemps 2019
  3. AAP Automne 2018
  4. AAP Printemps 2018
  5. AAP Automne 2017

Evènements passés

  1. Junior Conference on Wireless and Optical Communications
  2. Claudio Silva - professeur invité DigiCosme
  3. Spring Paris Saclay 2018
  4. Séminaire GT ERVEN
  5. Séminaire GT Future Access Networks
  6. Séminaire GT TAL & SEM
  7. Concours ISN2018
  8. Séminaire GT ERVEN
  9. Séminaire GT UPSCaLe
  10. Junior Conference 2018 - JDSE2018