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

[Frama-c-discuss] H2020 projects CHARIOT & VESSEDIA Workshop



Please save the date for the H2020 *CHARIOT & VESSEDIA project Workshop 
<https://www.vessedia.eu/news/workshops>, *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 <https://www.chariotproject.eu/> (Cognitive Heterogeneous 
Architecture for Industrial IoT) and VESSEDIA <https://www.vessedia.eu/> 
(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.

*_Registration_*

*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 
website: https://www.vessedia.eu/news/workshops

Best regards,

The VESSEDIA Consortium
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190403/b08418e0/attachment.html>