--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on April 2018 ---
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>