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

[Frama-c-discuss] Frama-C & SPARK Day: Formal Analysis and Proof for Programs in C and Ada, 30 May 2017 - Call for participation



          Call for Participation

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

       Paris, Tuesday, May 30th, 2017

http://frama-c.com/FCSD17.html


We are pleased to invite you to attend Frama-C & SPARK Day 2017.
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.

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

The program, registration information and travel instructions are 
available from

http://frama-c.com/FCSD17.html

Registration is free of charge but necessary.

The workshop takes 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').
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.


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