--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on March 2019 ---
*Frama-C & SPARK Day 2019 : Formal Analysis and Proof for Programs in C and Ada* Date: Monday June 3rd, 2019 Location: Paris, La Fabrique Ãvénementielle, 52 ter Rue des Vinaigriers, 75010 This 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 AdaCore, CEA List, Inria & TrustInSoft. The online program (http://www.open-source-innovation-spring.org/2019/frama-c-and-spark-day-2019/) is rich of three sessions around autonomous driving, embedded software and functional safety, while the day will be introduced by Jean-Christophe Filliâtre, who initiated the Why3 technology used in SPARK and Frama-C. Registration is free but compulsory at https://form.jotformeu.com/90651580951359. This workshop will take place in the context of the Open Source Innovation Spring (http://www.open-source-innovation-spring.org/2019/) initiated by thematic group `Logiciel libre' of the cluster Systematic-Paris-Region and IRILL (`Initiative de Recherche et Innovation sur le Logiciel Libre').