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] an upcoming tutorial on Frama-C - April 8, 2019 at SAC 2019 in Limassol


  • Subject: [Frama-c-discuss] an upcoming tutorial on Frama-C - April 8, 2019 at SAC 2019 in Limassol
  • From: nikolay.kosmatov at cea.fr (Nikolai Kosmatov)
  • Date: Sun, 17 Mar 2019 17:29:25 +0100

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