--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on January 2010 ---
Dear list member, you are following frama-c-discuss, the mailing list of the framework for the analysis and manipulation of C programs Frama-C. You may be interested, as author or attendee, in the conference SCAM 2010 (Source Code Analysis and Manipulation, September, Romania). The CFP is available from: http://www2010.ieee-scam.org/ Abstracts are due for April 23, and there is a category for tool demos. Hope to see you there... Pascal