Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Call for participation: Frama-C & SPARK Day 2019, June 3rd, Paris
- Subject: [Frama-c-discuss] Call for participation: Frama-C & SPARK Day 2019, June 3rd, Paris
- From: Claude.Marche at inria.fr (Claude Marche)
- Date: Mon, 25 Mar 2019 10:08:21 +0100
*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').
- Prev by Date: [Frama-c-discuss] EJCP 2019 - Appel à participation
- Previous by thread: [Frama-c-discuss] EJCP 2019 - Appel à participation