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

  • Subject: [Frama-c-discuss] [Save the date] 2017/05/30 Frama-C & SPARK Day: Formal Analysis and Proof for Programs in C and Ada
  • From: Claude.Marche at inria.fr (Claude Marché)
  • Date: Thu, 26 Jan 2017 13:25:03 +0100

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

Date: Tuesday, May 30th, 2017

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

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/), AdaCore (http://www.adacore.com/), Inria
joint lab `ProofInUse' (http://www.spark-2014.org/proofinuse), and
Université Paris-Diderot.

This workshop will take 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').




-- 
Claude Marché                          | tel: +33 1 69 15 66 08
INRIA Saclay - ÃŽle-de-France           |
Université Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |