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] H2020 projects CHARIOT & VESSEDIA Workshop

  • Subject: [Frama-c-discuss] H2020 projects CHARIOT & VESSEDIA Workshop
  • From: armand.puccetti at (Armand Puccetti)
  • Date: Wed, 3 Apr 2019 15:17:50 +0200

Please save the date for the H2020 *CHARIOT & VESSEDIA project Workshop 
<>, *to be held on the *May 9^th 
2019* at *IBM Technology Campus, *Dublin, Ireland.

This workshop is hosted under the umbrella of the _European Union H2020_ 
CHARIOT <> (Cognitive Heterogeneous 
Architecture for Industrial IoT) and VESSEDIA <> 
(Verification Engineering of Safety and Security Critical Industrial 
Applications) projects. During the workshop the evolution of both 
projects will be presented, including the experience from the users and 
the first lessons learned on the different tasks. The actions of 
cooperation with the other IOT project under the H2020 program as well 
as the dissemination and standardization activities will be analysed.


*As space is limited, your confirmation of attendance will be greatly 
appreciated. Please do so via our website**by _May 3^rd , 2019_.* Please 
find further information on the workshop in the attachment and on our 

Best regards,

The VESSEDIA Consortium
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>