--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on May 2019 ---
------------------------------------------------------------------------- *Frama-C & SPARK Day 2019 : Formal Analysis and Proof        for Programs in C and Ada* https://frama-c.com/FCSD19.html Date: Monday, June 3, 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 program offers 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. See the workshop website for more detail. Registration is free but compulsory at https://form.jotformeu.com/90651580951359 <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/ <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'). -- Nikolai KOSMATOV, PhD Software Safety Laboratory, CEA LIST Mail : CEA Saclay Nano-INNOV Institut CARNOT CEA LIST DILS/LSL, PC 174 91191 Gif-sur-Yvette Cedex, France Phone: +33 (0)1 69 08 71 83 Fax: +33 (0)1 69 08 83 95 Email:nikolai.kosmatov at cea.fr -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190505/de7215b1/attachment.html>