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
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 :
- talks by the Frama-C community
- a session on current developments by the Frama-C team
- posters from junior contributors
- the flair from a central Parisian location
Autres journées à venir :
L'Agenda du Libre | Techniques de programmation web à l'état de l'artInformations
- Website
- http://www.open-source-innovation-spring.org/frama-c-day
- Contact
- printemps-de-l-innovation-open-source irill systematic conferences gtll osis vérification logiciels-libres méthodes-formelles