--- layout: fc_discuss_archives title: Message 106 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



Great! Thank you very much.
Cheers

-david

On 15 November 2013 11:52, Yannick Moy <moy at adacore.com> wrote:
> -- 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
>
>
>
>