--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on December 2019 ---
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>