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] Frama-C & SPARK Day 2019 -June 3, 2019 - Paris - Second call for participation

  • Subject: [Frama-c-discuss] Frama-C & SPARK Day 2019 -June 3, 2019 - Paris - Second call for participation
  • From: nikolay.kosmatov at (Nikolai Kosmatov)
  • Date: Sun, 5 May 2019 22:29:28 +0200


*Frama-C & SPARK Day 2019 : Formal Analysis and Proof
               for Programs in C and Ada*

Date: Monday, June 3, 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 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 

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').

Software Safety Laboratory, CEA LIST
Mail : CEA Saclay Nano-INNOV
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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>