--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on November 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] workshop on theorem proving in certification



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