• 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
    • IID (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 - (1572 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. Prix STIC « Doctorants » du plateau de Saclay 2020
  2. Research Days 2020
  3. Jugurta Montalvo - professeur invité DigiCosme
  4. JDSE2019 - 12 et 13 Septembre 2019
  5. Les ateliers IdéO - IOT & Mobility - 26 septembre 2019
  6. Christine Tremblay - professeur invité DigiCosme
  7. Séminaire GT UPSCaLe
  8. Research Day 2019
  9. Séminaire GT Future Access Networks
  10. Spring School 2019 - ForMaL

Appels

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

Evènements passés

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