--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on January 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [Save the date] 2017/05/30 Frama-C & SPARK Day: Formal Analysis and Proof for Programs in C and Ada




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

Date: Tuesday, May 30th, 2017

Location: Paris (Université Paris-Diderot, Amphithéatre Buffon, 15 rue
Hélène Brion)

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 CEA List
(http://www-list.cea.fr/en/), AdaCore (http://www.adacore.com/), Inria
joint lab `ProofInUse' (http://www.spark-2014.org/proofinuse), and
Université Paris-Diderot.

This workshop will take place in the context of the event `Open Source
Innovation Spring 2017'
(http://www.open-source-innovation-spring.org/) initiated by thematic
group `Logiciel libre' of the cluster Systematic-Paris-Region and
IRILL (`Initiative de Recherche et Innovation sur le Logiciel Libre').




-- 
Claude Marché                          | tel: +33 1 69 15 66 08
INRIA Saclay - ÃŽle-de-France           |
Université Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |