L'Agenda du Libre

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

Paris Langages et Outils pour la Fiabilité Logicielle

On Thursday 12 May 2016 from 14h00 to 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

Website
http://www.open-source-innovation-spring.org/langages-et-outils-pour-la-fiabilite-logicielle
Contact
Tags