L'Agenda du Libre

Software, Arts, Data, Hardware, Contents, Commons, Internet...

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

Date and place

On Monday 3 June 2019 from 09h00 to 17h00.

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

Description

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

Website http://open-source-innovation-spring.org/2019/frama-c-and-spark-day-2019/

Contact

Tags