Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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

  • Subject: [Frama-c-discuss] Sound Static Analysis for Security workshop, June 27-28, 2018 at NIST, USA
  • From: nikolay.kosmatov at cea.fr (Nikolai Kosmatov)
  • Date: Fri, 6 Apr 2018 17:33:35 +0200
  • In-reply-to: <98A63AFA487543469E7E491CAA07653B2D83511F@EXDAG0-A1.intra.cea.fr>
  • References: <98A63AFA487543469E7E491CAA07653B2D83511F@EXDAG0-A1.intra.cea.fr>
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>