L'Agenda du Libre

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

Paris Langages et Outils pour la Fiabilité Logicielle

Le jeudi 12 mai 2016 de 14h00 à 19h00.

IRILL, 4 place Jussieu, Paris, Île-de-France

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

Langages et outils pour la fiabilité logicielle - Printemps de l'Innovation Open Source

Programme dirigé par Emmanuel Chailloux (LIP6/UPMC, Irill), Roberto Di Cosmo (Irif, Irill, Inria, UPD), Fabrice Le Fessant (Inria, OCamlPro)

 

 

Inscription gratuite mais obligatoire

Autres journées à venir :

L'Agenda du Libre | Open Source pour le Cloud et les Conteneurs L'Agenda du Libre | Frama-C Day - Analyse et vérification de code L'Agenda du Libre | Techniques de programmation web à l'état de l'art

Informations

Site web
http://www.open-source-innovation-spring.org/langages-et-outils-pour-la-fiabilite-logicielle
Contact
muriel POINT shanseifan CHEZ systematic-paris-region POINT org
Mots-clés