[Why3-club] Call for participation: Frama-C & SPARK Day 2019, June 3rd, Paris

Claude Marche Claude.Marche at inria.fr
Mon Mar 25 10:08:21 CET 2019

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

More information about the Why3-club mailing list