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

[Frama-c-discuss] an upcoming tutorial on Frama-C - April 8, 2019 at SAC 2019 in Limassol



Dear Frama-C users,


We are happy to announce an upcoming tutorial on Frama-C


   "Formal Verification for an Internet of Secured Things"


that will take place


   on April 8, 2019 at the 34th ACM/SIGAPP Symposium On Applied 
Computing (SAC 2019) in Limassol, Cyprus

   https://www.sigapp.org/sac/sac2019/tutorial_program.html


Best regards,

Nikolai


For the tutorial presenters,

Allan Blanchard, Nikolai Kosmatov and Frédéric Loulergue


-- 
Nikolai KOSMATOV, PhD
Software Safety Laboratory, CEA LIST
Mail : CEA Saclay Nano-INNOV
Institut CARNOT CEA LIST
DILS/LSL, PC 174
91191 Gif-sur-Yvette Cedex, France
Phone: +33 (0)1 69 08 71 83
Fax:   +33 (0)1 69 08 83 95
Email: nikolai.kosmatov at cea.fr