--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on February 2019 ---
(ERRATUM: Date changed!) * Frama-C & SPARK Day 2019 * Date: Monday, June 3, 2019 Location: Paris, La Fabrique Ãvénementielle (52 ter rue des Vinaigriers, 75010 Paris) 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 CEA List ( http://www-list.cea.fr/en/ <http://www-list.cea.fr/en/)>), AdaCore ( http://www.adacore.com/ <http://www.adacore.com/)>), TrustInSoft ( https://trust-in-soft.com/ <https://trust-in-soft.com/)>) and Inria joint lab 'ProofInUse' (https://www.adacore.com/proofinuse <https://www.adacore.com/proofinuse)>). Best regards, Nikolai for the Program Committee of Frama-C & SPARK Day 2019 workshop: François Bobot, Claire Dross, Florent Kirchner, Nikolai Kosmatov, Claude Marché, Benjamin Monate, Yannick Moy -- 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/20190214/ea786a4c/attachment.html>