Chargement Évènements

« Tous les Évènements

  • Cet évènement est passé

Le Printemps de l’Innovation Open Source – Systematic

3 juin - 8 h 00 min - 14 juin - 17 h 00 min

Le Printemps de l’Innovation Open Source (OSIS) est le rendez-vous de l’excellence scientifique et technologique du libre et de l’open source. L’OSIS réunit, sur plusieurs conférences thématiques, chercheurs et ingénieurs des milieux académiques et industriels.
Initié par le Hub Open Source du Pôle Systematic et l’Irill (Initiative de Recherche et Innovation sur le Logiciel libre), cet événement vise à montrer le rayonnement international de projets issus de la recherche et de l’innovation française.


3 JUIN 2019

FRAMA-C & SPARK DAY
9h-17h,30 La Fabrique Evénementielle, Paris 10
# ANALYSE LOGICIELLE
Méthode formelle de preuve de programme par la vérification déductive : technologies et cas d’usage des environnements Frama-C (plateforme open source d’analyse statique du code C) et SPARK (langage de programmation basé sur les méthodes formelles).

  1. Industrie de la conduite autonome
  2. Logiciel embarqué
  3. Sûreté

Un programme proposé par : le CEA List, AdaCore, TrustInSoft, Inria

Informations & Inscriptions

13 JUIN 2019

IOT & EMBARQUE CRITIQUE
14h-18h, Campus Jussieu, Paris 05
# IOT
Le point sur les technologies permettant d’assurer la qualité des logiciels open source embarqués dans les équipements IoT.

Un programme proposé par : Lip6, Smile

Informations & Inscriptions

14 JUIN 2019

CLOUD
14h-18h, Campus Jussieu, Paris 05
# CLOUD
Etat de l’art et tendances futures des outils et frameworks open source utilisés dans l’écosystème Cloud, des stratégies d’orchestration aux architectures spécifiques.

Un programme proposé par : Lip6, Alterway

Informations & Inscriptions

 

Détails

Début :
3 juin - 8 h 00 min
Fin :
14 juin - 17 h 00 min
Catégorie d’Évènement:
Étiquettes Évènement :
, , , ,
Site Web :
https://systematic-paris-region.org/fr/

Organisateur

Pôle Systematic
Téléphone :
+33 01 69 08 06 85
E-mail :
name@systematic-paris-region.org
Site Web :
https://systematic-paris-region.org/fr/

Lieu

Paris
France + Google Map