L'Agenda du Libre

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

Paris Frama-C Day - Analyse et vérification de logiciels

Le lundi 20 juin 2016 de 09h00 à 18h00.

Maison de la Recherche, place de l'Hôtel de Ville, Paris, Île-de-France

Evénement du Printemps de l'innovation Open Source, organisé par le GTLL de Systematic et l'Irill, présidé par Roberto Di Cosmo

Frama-C Day

Programme dirigé par Florent Kirchner, directeur du laboratoire Sûreté du logiciel, CEA List.

A one-day workshop by the Frama-C community, gathering both academic & industrial users around shared experiences and new perspectives.

Featuring :

 

Autres journées à venir :

L'Agenda du Libre | Techniques de programmation web à l'état de l'art

Informations

Site web
http://www.open-source-innovation-spring.org/frama-c-day
Contact
muriel POINT shanseifan CHEZ systematic-paris-region POINT org
Mots-clés