L'Agenda du Libre

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

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

On Monday 20 June 2016 from 09h00 to 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

Website
http://www.open-source-innovation-spring.org/frama-c-day
Contact
Tags