[Why3-club] SAVE-THE-DATE: June 06, 2019 - Frama-C & SPARK Day 2019

Nikolai Kosmatov nikolay.kosmatov at cea.fr
Thu Jan 31 12:05:38 CET 2019


* 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/why3-club/attachments/20190131/d5460dbe/attachment.html>


More information about the Why3-club mailing list