--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on December 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Webinar - project H2020 VESSEDIA



The VESSEDIA project invites to its *Verification and Validation of IoT* 
webinar, held on the *9th December 2019 from 2 to 4 p.m. CET*.

This webinar is organised by the European Union H2020 project *VESSEDIA* 
(Verification Engineering of Safety and Security Critical Industrial 
Applications) and aims to present the *VESSEDIA project itself and its 
results in Verification, Validation, Certification and Security 
Evaluation of medium-criticality IoT*.

*Agenda:* https://vessedia.eu/news/vessedia-webinar

*Registration: *Please register for the webinar until *05^th of 
December* on https://vessedia.eu/news/vessedia-webinar or send an e-mail 
directly to coordination at vessedia.eu 
<mailto:coordination at vessedia.eu>.**You will receive the dial-in 
information afterwards. Feel free to share with your colleagues or students.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20191203/51b6fe92/attachment.html>