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] SCAM 2010 CFP

  • Subject: [Frama-c-discuss] SCAM 2010 CFP
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
  • Date: Fri, 22 Jan 2010 12:34:52 +0100
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