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

[Frama-c-discuss] 3rd Workshop on Theorem Proving in Certification



-- David Yang:

> Dear Yannick,
> 
> I am not working on this area. But I am interested in formal
> verification and would like to join in this workshop. Whether can I
> join in?
> 
> Thank you very much.

Sorry, I forgot to put a contact email: jeff.joyce at cslabs.com
--
Yannick Moy, Senior Software Engineer, AdaCore