--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on May 2019 ---
[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



-------------------------------------------------------------------------

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

https://frama-c.com/FCSD19.html

Date: Monday, June 3, 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 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
https://form.jotformeu.com/90651580951359 
<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/ 
<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').




-- 
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/20190505/de7215b1/attachment.html>