Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Webinar - project H2020 VESSEDIA
  • From: armand.puccetti at cea.fr (Armand Puccetti)
  • Date: Tue, 3 Dec 2019 11:22:32 +0100
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>