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

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

[Nikolai Kosmatov]

           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@cea.fr