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
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
- Site web
- http://www.open-source-innovation-spring.org/frama-c-day
- Contact
- muriel POINT shanseifan CHEZ systematic-paris-region POINT org
- printemps-de-l-innovation-open-source irill systematic conferences gtll osis vérification logiciels-libres méthodes-formelles