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 (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, 

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 
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

This workshop will take place in the context of the Open Source 
Innovation Spring ( 
initiated by thematic group `Logiciel libre' of the cluster 
Systematic-Paris-Region and IRILL (`Initiative de Recherche et 
Innovation sur le Logiciel Libre').