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

[Frama-c-discuss] Sound Static Analysis for Security workshop, June 27-28, 2018 at NIST, USA



Dear All,

Following the success of the Frama-C & SPARK Day 2017 in Paris, it is 
our pleasure to announce a two-day workshop

Sound Static Analysis for Security

      NIST, Gaithersburg, MD, USA

        June 27-28, 2018

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

The complete program, practical information and registration link are 
available on the workshop website.

Please find attached an invitation.

For the workshop organizers,

Nikolai Kosmatov

-- 
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/20180406/a2a12d75/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SSAS2018-INVITATION.pdf
Type: application/pdf
Size: 121125 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180406/a2a12d75/attachment-0001.pdf>