L'Agenda du Libre

Logiciels, Arts, Données, Matériels, Contenus, Communs, Internet...

Paris Open Source Innovation Spring : Frama-C & SPARK Day 2019

Le lundi 3 juin 2019 de 09h00 à 17h00.

La Fabrique Evenementielle, 52 ter Rue des Vinaigriers, Paris, Île-de-France

Dans le cadre du Printemps de l’Innovation Open Source (OSIS), initié par le Pôle Systematic et l'Irill, le workshop Frama-C & SPARK réunit sur une journée les utilisateurs académiques et industriels des environnements Frama-C et SPARK.

Partage d’expériences, nouvelles perspectives, les intervenants internationaux expliqueront et discuteront des approches innovantes en matière d’analyse logicielle.

Il s'agit d'un événement gratuit, présenté en anglais, et co-organisé par CEA List, AdaCore, TrustInSoft et Inria.

Le programme, en bref :

Découvrir le programme détaillé: http://open-source-innovation-spring.org/2019/frama-c-and-spark-day-2019/

A propos de Frama-C

Frama-C est une plateforme open source d'analyse statique de code C qui garantit l'absence totale de bugs.

A propos de SPARK

SPARK is a software development technology specifically designed for engineering high-reliability applications.

A propos de l'OSIS

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é par le GTLL (Groupe Thématique Logiciel Libre du Pôle 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.

Informations

Site web
http://open-source-innovation-spring.org/2019/frama-c-and-spark-day-2019/
Contact
Florence POINT BLAZY CHEZ systematic-paris-region POINT org
Mots-clés