The Open Source
Innovation Spring 2019

Qualité logicielle | IoT | Cloud | Big Data | Systèmes d'information

Mars-juin 2019, Paris - Châtillon

Présidence : Roberto Di Cosmo, vice-président du GTLL, directeur de l’Irill, directeur de recherche Inria, Professeur à l’Université Paris-Diderot

Organisé par : logo Systematic & logo IRILL
Le Printemps de l’Innovation Open Source est le rendez-vous de l’excellence scientifique et technologique du libre et de l’open source. Initiée par le GTLL (Groupe thématique Logiciel libre de Systematic) et l’Irill (Initiative de Recherche et Innovation sur le Logiciel libre), l'OSIS vise à montrer le rayonnement international de projets issus de la recherche et de l’innovation française.
The Open Source Innovation Spring highlights the excellence and international success of innovative projects stemming from the French industries and Research programs.
Pourquoi venir ?
  • Pour élargir et approfondir ses connaissances sur un ensemble de technologies clefs pour la transformation numérique et la compétivité des entreprises, en interagissant directement avec les créateurs de ces technologies et les pionniers de leurs usages ;
  • Pour découvrir, en amont de la courbe d'adoption par le marché, les projets d'innovation académiques et industriels dont l'impact se fera sentir dans les années à venir ;
  • Pour comprendre comment appliquer dès aujourd'hui ces connaissances à leurs problématiques métiers – depuis la vision stratégique jusqu'aux détails d'implémentation rarement évoqués mais souvent cruciaux ;
  • Pour rencontrer ses pairs et faire émerger de nouvelles collaborations.

3 Juin 2019 — Frama-C & SPARK Day 2019

09h-17h

Fabrique Evènementielle, Paris SPARK,Frama-C,Safety,Security,Software

Résumé

This one-day workshop aims at gathering both academic and industrial users of the environments Frama-C and SPARK, for sharing experiences and discussing perspectives. It is co-organized by CEA List (http://www-list.cea.fr/en/), AdaCore (http://www.adacore.com/), TrustInSoft (https://trust-in-soft.com/) and Inria joint lab 'ProofInUse' (https://www.adacore.com/proofinuse).

Direction de programme

François Bobot (CEA), Claire Dross (AdaCore), Florent Kirchner (CEA), Nikolai Kosmatov (CEA), Claude Marché (Inria), Benjamin Monate (TrustInSoft), Yannick Moy (AdaCore)

Organisateurs (2019)

Co-organisateurs et sponsors (2019)

Ils parlent de l'OSIS (2019)