[TYPES/announce] [Call for participation] Workshop "Sound Static Analysis for Security"

[Claude Marché]

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

      *  Sound Static Analysis for Security *

Invited speakers:

- David A. Wheeler, Institute for Defense Analysis
- K. Rustan M. Leino, Amazon
- David Cok, Visiting Research Engineer at CEA and Independent

Location: NIST, Gaithersburg, MD, USA

Date:   June 27-28, 2018

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

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