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