--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on January 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] SCAM 2010 CFP



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