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] SAVE-THE-DATE: June 06, 2019 - Frama-C & SPARK Day 2019


  • Subject: [Frama-c-discuss] SAVE-THE-DATE: June 06, 2019 - Frama-C & SPARK Day 2019
  • From: nikolay.kosmatov at cea.fr (Nikolai Kosmatov)
  • Date: Thu, 31 Jan 2019 10:39:34 +0100

* Frama-C & SPARK Day 2019 *

Date: Thursday, June 6, 2019

Location: Paris, La Fabrique Événementielle (52 ter rue des Vinaigriers, 
75010 Paris)

This one-day workshop aims at gathering both academic and industrial
users of the environments Frama-C and SPARK, for sharing experiences
and discussing perspectives.  It is co-organized by CEA List
( http://www-list.cea.fr/en/ <http://www-list.cea.fr/en/)>), AdaCore ( 
http://www.adacore.com/ <http://www.adacore.com/)>),
TrustInSoft ( https://trust-in-soft.com/ <https://trust-in-soft.com/)>) 
and Inria joint lab
'ProofInUse' (https://www.adacore.com/proofinuse 
<https://www.adacore.com/proofinuse)>).

Best regards,

Nikolai
for the Program Committee of Frama-C & SPARK Day 2019 workshop:
François Bobot, Claire Dross, Florent Kirchner, Nikolai Kosmatov, Claude 
Marché, Benjamin Monate, Yannick Moy

-- 
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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190131/51785589/attachment.html>