Frama-C & SPARK Day 2019
June 3, 2019, Paris, France

Paris, La Fabrique Evénementielle

Frama-C & SPARK Day 2019 is a one-day workshop gathering researchers and engineers around shared experiences and new perspectives of the environments Frama-C and SPARK. It continues the series of previous similar events FCD 2015, FCD 2016, FCSD 2017, and SSAS 2018.

Speakers at the Frama-C & SPARK Day will demonstrate and discuss innovative approaches to software analysis, from both academic and industrial points of views. In addition to invited presentations, this workshop will feature space for community discussions, updates on new developments and upcoming projects.

The workshop is co-organized by CEA List, AdaCore, TrustInSoft, and Inria joint lab ProofInUse.

Frama-C & SPARK Day 2019 contributes to the Open Source Innovation Spring 2019, initiated by the thematic group 'Logiciel libre' of the cluster Systematic-Paris-Region and IRILL ('Initiative de Recherche et Innovation sur le Logiciel Libre').

Photos by Jean-François Lagrost and La Fabrique Evénementielle.

CEA List logo AdaCore logo TrustInSoft logo ProofInUse logo