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] workshop on theorem proving in certification

  • Subject: [Frama-c-discuss] workshop on theorem proving in certification
  • From: moy at adacore.com (Yannick Moy)
  • Date: Fri, 18 Nov 2011 15:07:31 +0100
I think that some of you may be interested by the topic of this workshop, held
in Cambridge on December 5-6:

http://www.cl.cam.ac.uk/~mjcg/FMStandardsWorkshop.html

This is on invitation only, so if you are interested, you should contact one of
the organisers (for example naghmeh.ghafari at cslabs.com or leepike at galois.com)
-- 
Yannick