NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand

Learn more about cookies at : http://www.aboutcookies.org/Default.aspx?page=1

Events Calendar

OSIS 2017 | Frama-C & SPARK Day
Tuesday, 30 May 2017,  9:00 -  5:00

bandeau open innovationThis one-day workshop aims at gathering both academic and industrial users of the environments Frama-C and SPARK, for sharing experiences and discussing perspectives.

It is co-organized by the List institute, AdaCore (http://www.adacore.com/), Inria joint lab `ProofInUse' (http://www.spark-2014.org/proofinuse), and Université Paris-Diderot.

This workshop will take place in the context of the event `Open Source Innovation Spring 2017' (http://www.open-source-innovation-spring.org/) initiated by thematic group `Logiciel libre' of the cluster Systematic-Paris-Region and IRILL (`Initiative de Recherche et Innovation sur le Logiciel Libre').

Place: Amphithéâtre Buffon université Paris Diderot

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

Back