--- layout: fc_discuss_archives title: Message 105 from Frama-C-discuss on November 2013 ---
-- 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