--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on May 2017 ---
Second Call for Participation Frama-C & SPARK Day 2017: Formal Analysis and Proof for Programs in C and Ada Paris, Tuesday, May 30th, 2017 http://frama-c.com/FCSD17.html We are pleased to invite you to attend Frama-C & SPARK Day 2017. 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. Location: Université Paris-Diderot, Amphithéatre Buffon, 15 rue Hélène Brion, Paris The program, registration information and travel instructions are available from http://frama-c.com/FCSD17.html Registration is free of charge but necessary. The workshop takes 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'). It is co-organized by CEA List (http://www-list.cea.fr/en/), AdaCore (http://www.adacore.com/), Inria joint lab `ProofInUse' (http://www.spark-2014.org/proofinuse), and Université Paris-Diderot. -- 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