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] Frama-C & SPARK Day: Formal Analysis and Proof for Programs in C and Ada, 30 May 2017 - Call for participation


  • Subject: [Frama-c-discuss] Frama-C & SPARK Day: Formal Analysis and Proof for Programs in C and Ada, 30 May 2017 - Call for participation
  • From: nikolay.kosmatov at cea.fr (Nikolai Kosmatov)
  • Date: Tue, 18 Apr 2017 11:26:12 +0200

          Call for Participation

       Frama-C & SPARK Day 2017:
       Formal Analysis and Proof for Programs in C and Ada

       Paris, Tuesday, May 30th, 2017

http://frama-c.com/FCSD17.html


We are pleased to invite you to attend Frama-C & SPARK Day 2017.
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.

Location: Université Paris-Diderot, Amphithéatre Buffon, 15 rue Hélène 
Brion, Paris

The program, registration information and travel instructions are 
available from

http://frama-c.com/FCSD17.html

Registration is free of charge but necessary.

The workshop takes place in the context of the event `Open Source 
Innovation
Spring 2017' (http://www.open-source-innovation-spring.org/) initiated 
by thematic
group `Logiciel libre' of the cluster Systematic-Paris-Region and
IRILL (`Initiative de Recherche et Innovation sur le Logiciel Libre').
It is co-organized by CEA List (http://www-list.cea.fr/en/), AdaCore 
(http://www.adacore.com/),
Inria joint lab `ProofInUse' (http://www.spark-2014.org/proofinuse), and
Université Paris-Diderot.


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