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] Frama-C Day 2016 | Save The Date
- Subject: [Frama-c-discuss] Frama-C Day 2016 | Save The Date
- From: lea-zaynah.dargaye at cea.fr (Zaynah Dargaye)
- Date: Fri, 8 Apr 2016 10:06:46 +0200
Dear all, We are proud toannouncethe 2016Frama-CDay, next June 20th in Paris, gathering researchers and engineers around shared experiences and new perspectives. In addition to invited presentations, this will be a space for community discussions, updates on ongoing developments, and upcoming projects. Save the date! TheFrama-CTeam <mailto:day2016 at frama-c.com> <http://www.frama-c.com/> -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160408/2ad00956/attachment-0001.html> -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: image/png Size: 642737 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160408/2ad00956/attachment-0003.png> -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: image/png Size: 7614 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160408/2ad00956/attachment-0004.png> -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: image/png Size: 21175 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160408/2ad00956/attachment-0005.png> -------------- next part -------------- A non-text attachment was scrubbed... Name: frama_c_day_2016_std.pdf Type: application/pdf Size: 301311 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160408/2ad00956/attachment-0001.pdf>
- Prev by Date: [Frama-c-discuss] VC not the same when verifying function in isolation or in complete compilation unit
- Next by Date: [Frama-c-discuss] VC not the same when verifying function in isolation or in complete compilation unit
- Previous by thread: [Frama-c-discuss] VC not the same when verifying function in isolation or in complete compilation unit
- Next by thread: [Frama-c-discuss] Blog resurrection
- Index(es):